Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Is there a static RTL coverage analyze tool?

Status
Not open for further replies.

eruisi

Member level 4
Joined
Jan 3, 2006
Messages
71
Helped
1
Reputation
2
Reaction score
1
Trophy points
1,288
Location
CA
Activity points
1,817
Hi, guru:

I wrote some RTL code, is there a quick way to tell me if there is any dead zone in the RTL w/o running any vector based Verilog simulation?

For example, if I accidentally tied clock input to a flop, I want to see some message like "The output of this flop will never toggle"

I know I can get this information from Primetime, but can we have a quick check at RTL level? If yes, what is the tool name?


Thanks
eruisi
 

You can read your RTL and snd clock definitions into DesignCompiler and without synthesys execute command check_timing/check_design.

Or you can use some lint-checker tools like SpyGlass.
 

Use any Lint tool as mentioned above.
In Synopsys VCS it is possible to enable Lint checks during RTL compilation by using a suitable switch. It is most probably also possible for Cadence tools.
 

Use any Lint tool as mentioned above.
In Synopsys VCS it is possible to enable Lint checks during RTL compilation by using a suitable switch. It is most probably also possible for Cadence tools.

Yes, Cadence has a lint tool called HAL.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top