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.

A

1 Reply

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