您的位置： 专家智库 > >

聂江波

作品数：1 被引量：1H指数：1
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇电路
  • 1篇有限自动机
  • 1篇自动机
  • 1篇集成电路
  • 1篇层次化

机构

  • 1篇清华大学

作者

  • 1篇吴为民
  • 1篇边计年
  • 1篇薛宏熙
  • 1篇朱明
  • 1篇聂江波

传媒

  • 1篇微电子学与计...

年份

  • 1篇2003
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模块的层次化模型判别被引量：1
2003年
模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。
聂江波边计年薛宏熙吴为民朱明
关键词：集成电路有限自动机
全选 清除 导出
共1页<1>
聚类工具0