how to know formalpro pass or fail

[phoenyxu]

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?

 

[kornukhin]

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

 

[phoenyxu]

Thanks a lot

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