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.

How can we detect false-paths at RTL level?

Status
Not open for further replies.

er.akhilkumar

Full Member level 2
Joined
Feb 1, 2011
Messages
120
Helped
4
Reputation
8
Reaction score
4
Trophy points
1,298
Location
Noida
Activity points
2,418
Hello All,

There are methods to detect false-path by using SAT test-vector generation. But is this method used at RTL level? I think at RTL level while doing verification code coverage can also help in detecting false paths.

Regards,
Akhil
 

false path should be provided by the designers.
 

Let me put it another way. If an engineer designs a circuit and can't tell what is and isn't a false path, then they shouldn't be allowed to design something unsupervised.

e.g. the first register of a clock domain crossing synchronizer has a false path from the launch register in the asynchronous clock domain to the first register in the synchronizer. This is a false path because we expect the path to not meet any timing constraints.

Regards
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top