How can we detect false-paths at RTL level?

Status
Not open for further replies.
E

er.akhilkumar

Full Member level 2
Joined
Feb 1, 2011
Messages
123
Helped
4
Reputation
8
Reaction score
4
Trophy points
1,298
Location
Noida
Visit site
Activity points
2,443
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.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…