▁the ▁main ▁structure ▁of ▁the ▁system ▁is ▁created . ▁Then , ▁two ▁different ▁not ations ▁are ▁generated ▁V H DL ▁and ▁B . ▁The ▁produced ▁B ▁method ▁code ▁contains ▁the ▁main ▁features ▁of ▁V H DL ▁one . ▁After ▁that , ▁design ▁may ▁be ▁separated ▁in ▁relation ▁to ▁the ▁te ch no - logic ▁choices . ▁For ▁more ▁flex ibility , ▁designer ▁may ▁write ▁directly ▁the ▁en rich ed ▁V H DL ▁notation . ▁ ▁References ▁Am mar ▁Al jer , ▁Philippe ▁Dev ienne , ▁Soph ie ▁T ison ▁( LI FL ), Jean - Louis ▁Bou lang er ▁( H DS ), Ge org es ▁Mar iano ▁( IN RE TS ). ▁ ▁B H DL : ▁Circ uit ▁design ▁in ▁B ▁. ▁ 2 0 0 3 ▁IE EE ▁A . ▁Al jer ▁& ▁J . ▁L . ▁Bou lang er ▁( He ud ias yc , ▁Comp ieg ne , ▁France ), P . ▁Dev ienne ▁( LI FL , ▁Vill ene uve ▁d ’ A sc q , ▁France ). ▁B - H DL ▁circuit ▁and ▁safety ▁properties ▁Al jer ▁A . ▁ 2 0 0 4 , ▁Co - Des ign ▁and ▁Re fin ement ▁in ▁B . ▁Ph D ▁Th esis . ▁U ST L : ▁L ille . ▁ ▁Category : Form al ▁methods ▁Category : Form al ▁specification ▁languages <0x0A> </s> ▁The ▁O hr id – Deb ar ▁u pr ising ▁( ; ▁) ▁was ▁an ▁u pr ising ▁in ▁Western ▁Mac ed onia ,