咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 机械工程
    • 1 篇 电子科学与技术（可...

主题

  • 2 篇 静态验证方法
  • 1 篇 形式化验证方法
  • 1 篇 深亚微米cmos工艺
  • 1 篇 集成电路
  • 1 篇 劝态验证
  • 1 篇 非形式化验证方法
  • 1 篇 asic
  • 1 篇 概念模型验证
  • 1 篇 电路设计
  • 1 篇 动态验证方法

机构

  • 1 篇 复旦大学
  • 1 篇 军械工程学院

作者

  • 1 篇 顾闯
  • 1 篇 孙王虎
  • 1 篇 闵昊
  • 1 篇 贾希胜
  • 1 篇 唐长文
  • 1 篇 刘彬
  • 1 篇 舒适
  • 1 篇 田书超

语言

  • 2 篇 中文
检索条件"主题词=静态验证方法"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
ASIC综合后的静态验证方法的研究
收藏
分享
引用
微电子学 2004年 第1期34卷 56-59页
作者： 舒适 唐长文 闵昊 复旦大学专用集成电路系统与设计国家重点实验室 上海200433
　介绍了基于深亚微米CMOS工艺ASIC电路设计流程中的静态验证方法。将这种验证方法与以往的动态验证方法进行了比较,结果表明,前者比后者更加高效和准确。由此可以说明,静态验证完全可以取代动态验证,并且静态验证比动态验证更加适合超... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
概念模型验证方法研究综述
收藏
分享
引用
军械工程学院学报 2013年 第6期25卷 19-24页
作者： 顾闯 贾希胜 刘彬 田书超 孙王虎 军械工程学院装备指挥与管理系 河北石家庄050003
概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件