INCISIVE FORMAL VERIFIER  

机构地区：[1]Cadence公司

出　　处：《中国集成电路》2007年第3期76-79,共4页China lntegrated Circuit

摘　　要：Incisive Formal Verifier为您的工作平台带来了形式分析的强大性能，能够令生产力大幅提高，并提升设计质量。作为Incisive平台的全套断言式验证解决方案的一个关键组件，Incisive Formal Verifier让你能够提前几个月开始验证，降低了重新投片的风险，加快了上市时间。

关 键 词：Incisive FORMAL VERIFIER 设计质量 纳米级IC 计算机技术 

分 类 号：TN406[电子电信—微电子学与固体电子学]