how to know formalpro pass or fail

Status
Not open for further replies.
P

phoenyxu

Junior Member level 1
Joined
Apr 11, 2011
Messages
17
Helped
1
Reputation
2
Reaction score
1
Trophy points
1,283
Location
China
Visit site
Activity points
1,368
hi all

I am doing gate-level formal verification.
after formalpro, how to know formal verification pass or not? what is the key words? which file can find this message?
which file can find which pin is mismated ?

formalpro User guide seems can not find any description about them?
 

Last release I was working with was 2010.1.
See 'formalpro.log' in the launch directory. At the end of the file you will see '- Designs are EQUIVALENT - ' or other message.
Directory 'formalpro.cache' contains 'logs' and 'reports'.
 

Thanks a lot

kornukhin said:
Last release I was working with was 2010.1.
See 'formalpro.log' in the launch directory. At the end of the file you will see '- Designs are EQUIVALENT - ' or other message.
Directory 'formalpro.cache' contains 'logs' and 'reports'.
Click to expand...
 

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…