RTL-Compiler [read in the Netlist]

[ldm]

How can I read in a veriolg Netlist into the RTL-Compiler?

Actually, I'd like to read a Netlist, which contain timing information
as well (something like a *.db file).

How can I do so?

 

If the RTL-compiler you are referring is simulation tool like VCS or
verilog-xl, you can use $sdf_annotate task in your test bench. SDF file
has the timing information.
Or, if you only want to find out delay of a cell or between cells, you
can try GOF, Gates-On-the-Fly from NanDigits.
GOF can load netlist with SDF file, and you can check timing
information when browser the netlist.
A link is here
http://www.nandigits.com/sdf_timing.htm

Nandy
www.nandigits.com
Netlist Debug/ECO in GUI mode

 

[ldm]

I only want to know how to read a Netlist inside the RTL-Compiler. I
need an exact command.

 

[mk]

On 25 Jan 2006 05:49:31 -0800, "ldm" <dmitry.leyzerovich@mobileye.com>
wrote:

I only want to know how to read a Netlist inside the RTL-Compiler. I
need an exact command.

Try these commands:

// some options to get bg like behavior
set_attr optimize_constant_0_flops false
set_attr optimize_constant_1_flops false
set_attr hdl_ff_keep_feedback false
set_attr hdl_latch_auto_async_set_reset false
set_attr hdl_max_loop_limit 1000
set_attr hdl_undriven_net_value 0

set_attr library mylibrary_max.lib

read_hdl -v2001 myverilog.v // this one is for reading the verilog

// compile and link
elaborate

// assumes a port named clk
define_clock -name clk -period 2000 [find -port clk]
// then synthesize
synthesize -to_mapped -effort high -csa_effort high

 

[ldm]

It seems the 'read_hdl -v2001' command is used to read a RTL code, not
a Netlist

Actually, I need to read the Netlist...

 

[ldm]

It seems the "read_hdl -v2001" command is used to read a RTL code, not
a Netlist

I need to read a Netlist...

 

[m]

On 30 Jan 2006 00:27:11 -0800, "ldm" <dmitry.leyzerovich@mobileye.com>
wrote:

It seems the 'read_hdl -v2001' command is used to read a RTL code, not
a Netlist

Actually, I need to read the Netlist...

So you tried it and it didn't work ?

If you have the definitions of the gates either through a library or a
set of modules, there is no difference.

 

[Paulbill]

ldm wrote:

It seems the "read_hdl -v2001" command is used to read a RTL code, not
a Netlist

I need to read a Netlist...

read_hdl -structural

for 5.2

read_netlist

 

[ldm]

Thanks, I'll try it