Programmable Devices
CPLDs, FPGAs, SoC FPGAs, Configuration, and Transceivers
20737 Discussions

Using FormalPro & Quartus II ?

Altera_Forum
Honored Contributor II
‎10-31-2009 11:50 PM
1,157 Views

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

Link Copied

1 Reply
Altera_Forum
Honored Contributor II
‎07-29-2011 07:54 PM
443 Views

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.
0 Kudos
Copy link
Reply

Community support is provided during standard business hours (Monday to Friday 7AM - 5PM PST). Other contact methods are available here.

Intel does not verify all solutions, including but not limited to any file transfers that may appear in this community. Accordingly, Intel disclaims all express and implied warranties, including without limitation, the implied warranties of merchantability, fitness for a particular purpose, and non-infringement, as well as any warranty arising from course of performance, course of dealing, or usage in trade.

For more complete information about compiler optimizations, see our Optimization Notice.