< Back to list
FormalPro
Mentor Graphics Corporation
FormalPro is the Mentor Graphics equivalence checking product for dramatically reducing the time required to verify ASICs and ICs. This class describes background and benefits of formal verification technology and how it applies to current ASIC design methodologies. It will teach you how to setup, compile and verify designs, and then debug and successfully correct design errors.
Industry
Industrial R&D
Red Hat Certifications
This product has been certified to run on the following Red Hat products and technologies:
| Target Product | Level |
|---|---|
| Red Hat Enterprise Linux 5.x | Self-Certified |