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_gsim -bool command, however I
don't know what the format is.
Here is an example from the cadence help system:
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?
I've tried reading through the code for bl2gate.pl, but it is very confusing and reading the above format into the script results in errors.