T
thenonbornking
Guest
Yritän käyttää Encounter Kirjasto Characterizer kuvaamaan 4 siirretään rekisteriin solun.Ilmeisesti ELC ei voi selvittää, mitä looginen kuvaus solu.Uskon, että voin kertoa sen, mitä solu ei käyttäen db_bool komennon, mutta en tiedä, mitä muotoa.
Tässä on esimerkki siitä Cadence ohjejärjestelmässä:
DL
, Rekisteri ([IQ], [XIQ ])::=(~[ XIQ], ~ (G? D: [IQ]))
Q:: = [IQ]
;
NAND2
, Y ::=~( & B)
;
TBUF
, Y:: = ((at) EN)
;
Muualla ohjejärjestelmässä viittaavat tätä synspec boolean muodossa, mutta en ole löytänyt mitään liittyvät tähän google.
Voiko kukaan kohta minut guide / tutorial tähän boolean muodossa?Tai mahdollisesti antaa minulle laajemmin esimerkkejä?
Kiitos!
-Michael
Tässä on esimerkki siitä Cadence ohjejärjestelmässä:
DL
, Rekisteri ([IQ], [XIQ ])::=(~[ XIQ], ~ (G? D: [IQ]))
Q:: = [IQ]
;
NAND2
, Y ::=~( & B)
;
TBUF
, Y:: = ((at) EN)
;
Muualla ohjejärjestelmässä viittaavat tätä synspec boolean muodossa, mutta en ole löytänyt mitään liittyvät tähän google.
Voiko kukaan kohta minut guide / tutorial tähän boolean muodossa?Tai mahdollisesti antaa minulle laajemmin esimerkkejä?
Kiitos!
-Michael