Boolean cell description format

[thenonbornking]

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

 

[ljxpjpjljx]

which format you want to use ?

 

[thenonbornking]

I want to use the format the elc will understand. I don't know what that is. I've seen it referred to as the synspec boolean format, but I'm not sure if that is correct or not.

 

[thenonbornking]

It seems that the boolean format is an older, not well supported, format. I think the currently preferred method is to edit a gate file created by elc. The gate file format is described in the elc documentation.