How to Find false path in a design

Jun 06, 2007 4 Replies

Hi Guys



We have been knowing the false path and its nature but i am confused as to how to identify a false path in a design having say 100 modules. We know that false path as defination that it is the path that is never executed or sanitisized henceforth it is not included in the STA . But the million dollar question is if the design is really big the how can one it so as to name it in the synthesis. I want to know the steps followed in the industry. I will value your comments and pls do upload some relevant material or any case study



Thanks in advance Vips



[...]

Google for "false path" is a good start. Here's a couple of places you might look:

PrimeTime, probably the best-known of the many static timing analysis tools....

formatting link

FishTail, an interesting new tool that uses formal techniques to identify false and multi-cycle paths....

formatting link

Note, these are not recommendations in any way - just two products that I happen to be aware of. I'm sure there are many more. It's not really my field.

Jonathan Bromley, Consultant DOULOS - Developing Design Know-how VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services Doulos Ltd., 22 Market Place, Ringwood, BH24 1AW, UK jonathan.bromley@MYCOMPANY.com http://www.MYCOMPANY.com The contents of this message may contain personal views which are not the views of Doulos Ltd., unless specifically stated.

Hi Vips,

If you are not meeting timing and you have lots and lots of path failing then save yourself some major pain and get a copy of fishtail. I played with this software some time ago and I can tell you it is very powerful. You just feed it your rtl and some constraints and out come a set of SDC files for false and multi-cycle path. On top of that if can also generate a set of assertions for you to verify the generated constraints.

Hans

formatting link

I use separate modules for each clock domain and run STA on those. I use "known good" synchronization techniques between the modules.

-- Mike Treseler

I should also have mentioned Blue Pearl's products...

formatting link
I talked with some of the Blue Pearl guys at DAC today and they assured me their tools can find false paths that cross design hierarchy boundaries in designs up to at least a million gates. I haven't yet had a chance to try out for myself this interesting application of formal technology.

Jonathan Bromley, Consultant DOULOS - Developing Design Know-how VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services Doulos Ltd., 22 Market Place, Ringwood, BH24 1AW, UK jonathan.bromley@MYCOMPANY.com http://www.MYCOMPANY.com The contents of this message may contain personal views which are not the views of Doulos Ltd., unless specifically stated.

Join the Discussion

Have something to add? Share your thoughts — no account required.

Didn't find your answer?

Ask the community — no account required