VERIFIER

作品数：21被引量：23H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：周福才常桂然柳秀梅更多>>
相关机构：铿腾电子科技有限公司东北大学中国航发控制系统研究所深圳市海思半导体有限公司更多>>
相关期刊：《航空计算技术》《The Journal of China Universities of Posts and Telecommunications》《Journal of Southeast University(English Edition)》《Journal of Computer and Communications》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国防科技工业技术基础科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=中国集成电路x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
ADE Verifier在项目移植、管理和验证中的应用
《中国集成电路》2019年第1期47-56,共10页蒋佳君 黄志荣 吕波 孙金铎 
Cadence公司对本项目的巨大付出
ADE Verifier是Cadence New ADE家庭成员中的重要一员,它主要用于项目管理和验证。Verifier主要功能;(1)可以在I C设计项目中统一管理仿真case与指标对应关系,手动/自动刷新ADE的最新仿真结果并显示其指标通过情况;(2)还可以通过一键完...
关键词：VERIFIER VIRTUOSO NewADE MatlabIntegration IC 项目移植 项目管理 项目验证 
INCISIVE FORMAL VERIFIER
《中国集成电路》2007年第3期76-79,共4页
Incisive Formal Verifier为您的工作平台带来了形式分析的强大性能，能够令生产力大幅提高，并提升设计质量。作为Incisive平台的全套断言式验证解决方案的一个关键组件，Incisive Formal Verifier让你能够提前几个月开始验证，降低了...
关键词：Incisive FORMAL VERIFIER 设计质量 纳米级IC 计算机技术 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部