Cadence Incisive Enterprise Verifier (IEV) is an integrated verification solution with the power of both formal analysis and simulation engines. IEV enables design and verification engineers to find deep corner-case bugs and hit elusive coverage points missed by stand-alone formal or simulation. IEV increases productivity through faster bring-up of designs and faster bug detection, boosts predictability by generating more metrics to assist with verification closure, and improves quality by finding more bugs in the design. Incisive Enterprise Verifier (IEV) is available immediately.
The integration of simulation and formal capabilities within Incisive Enterprise Verifier helps engineers to leverage assertions in new ways. The same assertions used in formal analysis can be used automatically by the simulation engine to generate new stimulus for the design. IEV can automatically switch back and forth between the formal and simulation engines to leverage both the rapid design exploration of simulation and the verification thoroughness of formal analysis. Design and verification engineers get a higher return from assertions, and adoption is easier because IEV provides powerful formal analysis in a familiar simulation environment.
Incisive Enterprise Verifier enables the detection of more bugs and the exercise of more coverage metrics early in the project, before a testbench is available. IEV’s tight integration of simulation and formal provides capabilities far beyond existing hybrid offerings in the market. Features include easier setup, automatic operation for most users, fine-grained control for expert users, and assertion debug capabilities. IEV also includes support for verification planning, regression operation on server farms, multi-core performance improvements, and consolidation of metrics gathered from regression runs. IEV links seamlessly to Incisive Enterprise Manager for metric-driven verification across large projects.
Incisive Enterprise Verifier should be of interest to any company seeking to boost its verification program. The new product expands the scope of assertion-based verification, finding more bugs, and driving more quickly toward verification closure.
More Info: Cadence Design Systems