IncisiveŽ Formal Verifier
The formal verification technology within Incisive Formal Verifier is used prior to testbench development and exposes corner-case bugs that are difficult or even impossible to find using simulation, acceleration, or emulation.
Supported Technologies
HP/UX,
Solaris/Sun OS,
Linux
Software
Click on a technology to view similar products within this category.
Pricing
- Unspecified -
http://www.cadence.com/company/cadence_worldwide/offices.aspx
800.746.6223, 408.954.1234
Resources
Additional Product Information
The formal verification technology within Incisive Formal Verifier is used prior to testbench development and exposes corner-case bugs that are difficult or even impossible to find using simulation, acceleration, or emulation.