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.

Register Log in

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
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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top