Forum Discussion

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

Formal verification flow

Can I use Windows version of Quartus II and Linux version of the Conformal, to do a formal verification between the Netlist and RTL. Alter manual - Chapter 18 (Cadence Encounter Conformal Supp...
Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
16 years ago

i've never used Conformal but i don't see a reason why it wouldn't work. just zip up the fv directory in your project directory and transfer over to the Linux box. it looks as if all of the blackbox models should reside in ./fv/conformal/<proj name>_blackboxes