| Author |
Message |
thenonbornking
Joined: 29 Jun 2009
Posts: 6
|
 20 Oct 2009 19:40 Boolean cell description format |
|
|
|
|
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(at)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
|
|
| Back to top |
|
 |
Google
AdSense
|
20 Oct 2009 19:40 Ads |
|
|
|
|
|
|
| Back to top |
|
|
ljxpjpjljx
Joined: 05 May 2008
Posts: 533
Helped: 12
Location: Shang Hai
|
21 Oct 2009 3:26 Re: Boolean cell description format |
|
|
|
|
| which format you want to use ?
|
|
| Back to top |
|
|
thenonbornking
Joined: 29 Jun 2009
Posts: 6
|
21 Oct 2009 15:38 Re: Boolean cell description format |
|
|
|
|
| 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.
|
|
| Back to top |
|
|
thenonbornking
Joined: 29 Jun 2009
Posts: 6
|
23 Oct 2009 14:49 Re: Boolean cell description format |
|
|
|
|
| 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.
|
|
| Back to top |
|
|
