INCISIVE FORMAL VERIFIER

来源 :中国集成电路 | 被引量 : 0次 | 上传用户：jy02132679

【摘要】

：

Incisive(R) Formal Verifier为您的工作平台带来了形式分析的强大性能,能够令生产力大幅提高,并提升设计质量.作为Incisive平台的全套断言式验证解决方案的一个关键组件,Inc

【作者】

：

Cadence公司

【出处】

：

中国集成电路

【发表日期】

：

2007年3期

【关键词】

：

验证形式分析设计质量上市时间工作平台解决方案关键组件生产力性能提升风险

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

基于ARM和Trimedia架构的高速通讯协议设计

目前,建立在宽带网络的多媒体应用日渐增多,高性能的DSP也不断推陈出新,由于DSP具备非常灵活的编程运算能力,针对不同的编码标准,采用不同的编码软件,加上合适的芯片价位,在

期刊

架构视频会议终端数字机顶盒监控服务器多媒体应用运算能力宽带网络编码软件编码标准高性能芯片产品编程

我国“液体蛋”生产空间巨大/近期玉米市场报价

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

液体蛋生产空间玉米市场

急性左心衰患者使用无创通气发生人机对抗的原因分析及护理对策

目的:探讨急性左心衰患者使用无创通气发生人机对抗的原因分析及护理对策.方法:选择我院急诊抢救室2016年9月-2017年2月50例急性左心衰患者,总结使用无创呼吸机发生人机对抗

期刊

无创通气人机对抗护理

智造赢时代

3月10日,由中国建筑金属结构协会主办,建筑门窗配套件委员会执行实施,广东合和建筑五金制品有限公司独家承办的第六届建筑门窗配套件行业科技创新论文大赛颁奖大会暨第六届品

期刊

老年哮喘患者护理中的舒适护理模式应用分析

目的:分析哮喘患者采用舒适护理模式的方法及效果.方法:选取我院2015年8月-2016年10月期间接收的92例老年哮喘患者作为护理对象,以随机数字分组法将92例患者均分为观察组与对

期刊

老年哮喘舒适护理方法效果

全国各地仔猪市场价格/全国部分地区豆粕价格动态

期刊

仔猪市场价格地区豆粕

小儿危重病护理评分法在小儿护理中的指导作用

目的:探究小儿危重病护理评分法在小儿护理中的指导作用.方法:选取2015年3月至2016年2月危重病患儿64例,随机分为实验组和对照组,每组32例,实验组采用小儿危重病房护理评分法

期刊

小儿危重病护理评分法小儿护理

干燥浓缩猪饲料走俏/国内鱼粉销售行情

期刊

干燥浓缩猪饲料国内鱼粉销售

晚期肿瘤化疗患者的PICC置管护理方法与效果研究

目的:分析PICC置管护理在晚期肿瘤化疗患者中运用的方法以及效果.方法:选取我院于2015年12月至2016年12月收治的晚期肿瘤化疗患者60例,随机分成实验组和常规组,常规组采用一

期刊

晚期肿瘤化疗患者PICC置管护理方法效果研究

厂商携手打造未来燕莎商城与供货厂家

国际著名零售企业马狮百货集团曾深入探讨了零售商与供货商之间的关系.rn“如果制造商与连锁商之间存有矛盾,则必然是各自为其利益打算之结果”.

期刊

厂商商城零售企业制造商零售商供货商矛盾连锁集团百货

INCISIVE FORMAL VERIFIER

与本文相关的学术论文