SoC design verification tool aids productivity

SoC design verification tool aids productivity

The Questa Verification Platform lets mainstream SoC designers more easily perform exhaustive formal verification analysis. The packages AutoCheck technology delivers fully automated formal checking analysis, while the CoverCheck tool provides 100% code coverage. The verification package also offers expanded clock-domain crossing analysis that is five time faster than previous versions and features a GUI common to other tools.

Questa formal verification offers exhaustive functional analysis of all possible design behaviors without the need to specify the test stimulus, enabling verification early in the design cycle, before creation of a simulation testbench. The CoverCheck tool makes it easy for non-expert users to leverage formal methods to for complete code coverage by automatically identifying the set of reachable and unreachable coverage bins. (Price not given – available now.)

by Jim Harrison

Mentor Graphics , Wilsonville , OR
Sales 503-685-7000

www.mentor.com