Product Name
Incisive Enterprise Verifier
Description
Provides dual power from integrated formal analysis and simulation engines. Captures metrics toward verification closure, speeds design bring-up time and finds bugs missed by standalone formal or test bench simulation. Provides support for metric-driven SoC and silicon design with verification planning, regression operations on server farms, consolidated formal and simulation metrics and multi-core performance improvements.
Company Associations
Glossary Associations
Taxonomy Associations
|
|