Stats

  • Locked Locked
  • Replies 2
  • Subscribers 91
  • Views 13002
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

boolean cell description format

mbhealy

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:
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?

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.


Thanks!
-Michael

Parents

  •  Thanks for the reply Wilson.

     I see now what you are talking about. I noticed that there was a command to input a boolean file and that using the modified gate file required actually copying files into the database. I thought that the version with the command would be the preferred one. Silly me, I assumed that usability would be a consideration ;).

     Anyways, I have been making progress with your suggestion. I've got power models generated, now I just need to figure out why it isn't giving me timing models.

    Thanks again,

    -Michael

Reply

  •  Thanks for the reply Wilson.

     I see now what you are talking about. I noticed that there was a command to input a boolean file and that using the modified gate file required actually copying files into the database. I thought that the version with the command would be the preferred one. Silly me, I assumed that usability would be a consideration ;).

     Anyways, I have been making progress with your suggestion. I've got power models generated, now I just need to figure out why it isn't giving me timing models.

    Thanks again,

    -Michael

Children
No Data

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.