Forum Discussion

Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
16 years ago

Using FormalPro & Quartus II ?

Anyone had any experience on using FormalPro (Mentor's Formal verification tool) with Quartus II generated netlist ? Any comments on experience appreciated ? esp. on RTL -> Gate. Thanks. ...
Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
15 years ago

bump. I am interested in this too. I have cadence conformal working to a point, but I'd like to be sure that I can do the same with Mentor Graphics' FormalPro and Synopsys - Formality

-please and thanks.