thenonbornking
Newbie level 4

I'm trying to use Encounter Library Characterizer to characterize a 4-ported register cell. Apparently ELC can't figure out what the logical description of the cell is. I believe I can tell it what the cell does using the db_bool command, however I don't know what the format is.
Here is an example from the cadence help system:
DL
, REGISTER([IQ],[XIQ])::=(~[XIQ],~(G?D:[IQ]))
, Q::=[IQ]
;
NAND2
, Y::=~(A&B)
;
TBUF
, Y::=(A@EN)
;
Other places in the help system refer to this as the synspec boolean format, but I haven't been able to find anything related to this on google.
Can anyone point me to a guide/tutorial on this boolean format? Or possibly give me more extensive examples?
Thanks!
-Michael
Here is an example from the cadence help system:
DL
, REGISTER([IQ],[XIQ])::=(~[XIQ],~(G?D:[IQ]))
, Q::=[IQ]
;
NAND2
, Y::=~(A&B)
;
TBUF
, Y::=(A@EN)
;
Other places in the help system refer to this as the synspec boolean format, but I haven't been able to find anything related to this on google.
Can anyone point me to a guide/tutorial on this boolean format? Or possibly give me more extensive examples?
Thanks!
-Michael