post synthesys simulation

[nikhilindia85]

hi.can anybody tell me how to do gatelevel simulation.i mean i want to verify my netlist generated by synthesis tool.wen i exported my netlist to simulator ,it is showing some components r unresolved.do i need to supply any synth lib to simulator.i am using cadence RTL compiler for synth,NCsim for simulation

 

[RBB]

You will need to supply the standard cell libaries to nc-sim.

 

[nikhilindia85]

ya.how to suplly the libs to simulator.wat is the procedure

 

[rsrinivas]

u have a .v or .vhd library file.
just check in ur installation directory.
compile it with ur .v or .vhd netlist file.

 

[pintuinvlsi]

Just compile your all library files with ncvhdl/ncvlog and then run with netlist. Since in your netlist library files are used for synthesis.

 

[nikhilindia85]

do u mean to supply which lib files.my synth lib files r not in the .v format.do i need to compile simulator librery file or synth lib file.plz elaborate

 

[Thinkie]

Your libraries should have a complete verilog description of each of your gates.
These should be compiled with your simulator.

Also, do not forget the SDF. In many cases a netlist without SDF will not work, especially if you have complex clock generation methods.

So, do not forget to annotate the SDF on your netlist.

 

[phoenixfeng]

u should provide a type of lib which can be recognized by simulator, the annotate the sdf file

 

[pintuinvlsi]

Neslist has some tech library files (depends on fab technology 90 nm 130 nm....) and all memory models so u have to compile all memory models used in the netlist and all tech library ( TSMC or others) before annotating with sdf.

 

[nikhilindia85]

can u elaborate.synth lib files r not in the .v format.how to get

Added after 2 minutes:

my netlist has a ADDFX1 component.that is my standard cell present in the synth lib,which is typical.lib.how to resolve addfx1 component.where can i get verilog format of the addfx1 cell

 

[Thinkie]

If your library is complete you should have datasheets for each cell, the db files, the verilog description, scan description for ATPG... the lot... lef/def files....

Ask your vendor to supply these to you... although I am sure they are included in your library delivery

 

[nikhilindia85]

wat is the command for sdf file generation in RTL compiler

 

[hash_delay]

NC-Verilog Simulation tool for adding library for netlist sims:

You need to add

-y /<directory path of the library here>/unisims +libext+.v

Here unisims would be library name
You can supply this via command line or at the start of the list of files.

 

[avimit]

1. I would go by what hash_delay has said. It would solve your problem
2. You dont need an sdf file. YOu can do sims without it.
sdf is anyway only relevant when you do sims after layout.
kr,
Avi
http://www.vlsiip.com

 

[nikhilindia85]

i cant find any lib with verilg extension in my lib files.i am using cadence university license .i think they dont supply full libraries for student programs

 

[kpsai26779]

Hi nikhil,

even though u are using cadence university license, they will be supplying libraries. by the way how you synthesized your design either generic or mapped

 

[nikhilindia85]

i have synthesized to mapped

 

[drizzle]

when u added the sdf in your simulation,the delay of design can be showed

if u just compiled the .v lib in your sim tool,that should be ok,just show you function verification

it will be realized with start simulation menu in modelsim.

 

[kpsai26779]

Hi nikhil,

Then you will be having library files also,BTW for which technology you synthesis (mapped)

 

[anantha_09]

see nikhil it goes this way

open ur cadence synthesis setup file and see the path of your library file you use to synthesize ur design.

copy this path into your NC sim tool and go to the location, it opens into your library files directory , here you look for verilog folder, open it and you can see your lib file, compile it and next proceed normally with ur simulation

reply me for any queries