Sintesi: Assegnamento degli stati. Sintesi Sequenziale Sincrona Sintesi Comportamentale di reti Sequenziali Sincrone. Sintesi: Scelta del codice

Transcript

1 Sintsi: Assgnmnto gli stti Sintsi Squnzil Sinron Sintsi Comportmntl i rti Squnzili Sinron L riuzion l numro gli stti minimizz il numro i lmnti i mmori quini i vriili i stto h srivono l mhin sinttizzr A pri numro i stti l omplssità ll rt omintori h sinttizz l funzion δ ipn l prtiolr ssgnmnto slto pr gli stti Il prolm ll ssgnmnto gli stti L ssgnmnto gli stti trsform l tll gli stti in tll ll trnsizioni L tll ll trnsizioni rpprsnt in form inizil (mn l slt l istil) l insim ll tll ll itzioni ll mhin (mpp i Krnugh soggtt ffttiv sintsi) vrsion l 15/1/0 L inz i 1 (o 0) nll mpp i Krnugh onsntono i ottnr rti omintori più o mno omplss, pri mtoo i ottimizzzion - - Sintsi: Slt l oi Sintsi: gli stti Il prosso i oifi gli stti h l oittivo i intifir pr ogni rpprsntzion simoli llo stto un orrisponnt rpprsntzion inri. Du prolmi prllli: Slt l oi. A minimo numro i it n i lmnti i mmori= log S (oifi ns) On-Hot n i lmnti i mmori= S (oifi sprs) Distnz Minim Gli stti h sono in orrisponnz ll trnsizioni più frqunti sono post istnz Hmming più piol possiil ponno il vinolo l minor numro possiil i it. Intifizion ll oifi i ogni stto. Slto il oi, l oifi gli stti influis si sull r si sull prstzioni l ispositivo. Il prolm ll intifizion ll oifi ottim è un prolm NP-omplto Impon l uso i uristih pr prvr l influnz sul prosso i ottimizzzion ll intrzion tr il tipo i lmnto i mmori utilizzto l oifi slt. A smpio, il numro possiili oifih pr il oi minimo numro i it è: log S ( 1)! log S S! log S ( )! A smpio, on S = 8 si hnno 80 possiili oifih Spsso, slto il oi, si prfris non riorrr lun spifi strtgi i oifi. Il osto ll strtgi i oifi risptto ll ffiilità l risultto ottnuto è ritnuto ssivo

2 Sintsi: Slt l oi flop D Smplii oifih: inrio nturl on-hot on oifi rnom Binrio Nturl: Il numro i it è qullo minimo l primo stto orrispon l onfigurzion i it ssoit 0, l sono stto orrispon l onfigurzion i it ssoit 1... L orinmnto gli stti è qullo trminto in fs i rlizzzion ll tll gli stti. On-Hot: Il numro i it pr l oifi llo stto è pri l numro gli stti In ogni oifi, un solo it ssum vlor 1. Tutti i it rimnnti ssumono vlor 0 Si ossrvi h l oifih gli stti sono tutt istnz i hmming Esmpio: S 0 S 1 S Binrio nturl On-Hot Consirimo il so i oifi numro minimo i it utilizzo i flip flop D E possiil utilizzr mtoi uristii pr trminr oifih h possno prourr mhin on rti omintori smplifit un uon slt ll ssoizion oifi-stto Nl so i istili D è possiil intifir i ritri i slt smplii, poihè l tll ll trnsizioni ll mhin oini on l tll ll itzioni I ritri i slt si sno sul prinipio i gnrr il più possiil 1 (o 0) inti nll tll ll trnsizioni (itzioni) flop D flop D (ont.) Uno i mtoi utilizzili mnulmnt, su mhin on un numro i stti riotto, si s sull sgunti onsirzioni h gnrno vinoli i oifi, on ivrs priorità A. ALTA PRIORITÀ: S u stti s i s j hnno, pr l stss onfigurzion i ingrsso, lo stsso stto futuro è opportuno h s i s j ino oifih inti, in moo vr oppi i 1 o i 0 inti sull olonn Esmpio lt priorità. Tll ll trnsizioni S0 00 S0 S0 S0 S S S1 01 S1 S1 S1 S0 S S 11 S S S3 S0 S S3 10 S3 S3 S3 S S B. MEDIA PRIORITÀ: S u stti s i s j sono stti prossimi llo stsso stto orrisponono ingrssi inti, è opportuno h ino oifih inti, in moo vr oppi i 1 o i 0 inti sull righ C. BASSA PRIORITÀ: Nl so i mhin i Mly è possiil sprimr un ritrio nh rltivo ll usit (s s i s j hnno usit intih, pr qulh ingrsso, è opportuno h i u stti ino oifih inti) Esmpio mi priorità. Tll ll trnsizioni S0 S0 S0 S S1 1 S1 S1 S1 S0 S1 0 S S S3 S0 S 1 S3 S3 S3 S S3 0 S0 00 S1 01 S 11 S

3 flop D (ont.) gli stti: Esmpio 1 I vinoli imposti i tr ritri i inz possono gnrr onflitti omunqu può risultr impossiil soisfrli A qusti vinoli può ssr ssoito nh un pso rltivo: rinlità l vinolo rivnt ll sm ll tll gli stti, opo vr pplito l rgol spost Noi onsirimo i vinoli i lt mi priorità utilizzimo il pso stti: 3 vriili i stto Stti vnti lo stsso stto prossimo, oniviono, oniviono, oniviono Stti prossimi on ingrssi inti, stto prsnt, stto prsnt, stto prsnt, stto prsnt, 1, 1, 1, 0, 1, 0, 1, 0, 1, gli stti: Esmpio 1 Slt ll ssgnmnto, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1 Dll tll i vinoli, si ostruis il grfo, i ui rhi hnno un pso pri ll rinlità i vinoli. Il pso vin usto s non è possiil soisfr tutti i vinoli Grfo i vinoli on rhi psti Il grfo i vinoli, il lin i prinipio, rpprsnt l insim i sotto-ui i inz h vono ssr riportti nll mpp i oifi. Ciò è possiil solo s il grfo ottnuto è ostituito soli n-ui o unioni i sottoui S il grfo non è ostituito soli n-ui o unioni i n-ui, è nssrio tglir luni rhi L slt vin ftt liminno il minimo numro i rhi possiil utilizzno il pso om ritrio sonrio

4 gli stti: Esmpio 1 gli stti: Esmpio Grfo riotto tglino il numro minor i rhi Grfo inizil: non è un union i sotto-ui Mpp pr l oifi (vriili i stto) S0 S0 S0 S S1 S1 S1 S1 S0 S1 S S S3 S0 S S3 S3 S3 S S3 stti: vriili i stto Stti vnti lo stsso stto prossimo, oniviono, oniviono s s, oniviono,s oniviono Stti prossimi on ingrssi inti,s stto prsnt,s stto prsnt, stto prsnt, stto prsnt, stto prsnt s, stto prsnt s, stto prsnt s,s stto prsnt s s, stto prsnt s, stto prsnt,,s,s s,, gli stti: Esmpio gli stti: Esmpio,,s,s s,, Dll tll i vinoli, si ostruis il grfo, i ui rhi hnno un pso pri ll rinlità i vinoli. Il pso vin usto s non è possiil soisfr tutti i vinoli Grfo i vinoli on rhi psti s s Grfo riotto tglino il numro minor i rhi Grfo inizil: non è un union i sotto-ui s s Mpp pr l oifi (vriili i stto) s s

5 Altri ritri i ssgnmnto Strumnti i sintsi utomti Esistono mtoi h hnno lo sopo i iniviur pr l funzion δ un ipnnz riott ll vriili i stto Il mtoo ssgn, s possiil, gli stti in moo intifir i mouli h ipnono un numro i vriili i stto infrior qullo totl ll FSM Esistono strumnti spifii i sintsi utomti in gro i ottr ivrs strtgi pr finir l oifi gli stti In gnrl utilizzno l rgol spost pr intifir i vinoli i inz tr stti. Il ritrio i soisfimnto i vinoli ipn ll strtgi ottt h, spsso, può ssr finit l momnto ll ttivzion llo strumnto Il mtoo prtizion l vriili i stto (i istili) quini iniviu i mouli ostituiti un sottoinsim i istili un rt omintori h rlizz δ solo pr qul sottoinsim i vriili i stto l rti omintori risultnti sono in gnrl lolmnt mno omplss prhé ipnono, oltr h gli ingrssi, un numro riotto i vriili i stto Gli strumnti sono in gro i gstir un numro suffiintmnt lvto i vriili nll tll ll vrità ottnut ll ssgnmnto Prsuppongono i lvorr on Flip-Flop D il risultto ll ssgnmnto ll rltiv ottimizzzion ll rt omintori ipn nh ll tnologi implmnttiv prvist (s. PLA)