您的位置： 专家智库 > >

孙钊

作品数：1 被引量：1H指数：1
供职机构：北京大学深圳研究生院更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇有限状态机
  • 1篇设计规范
  • 1篇状态机

机构

  • 1篇北京大学

作者

  • 1篇孙钊
  • 1篇王勇

传媒

  • 1篇北京大学学报...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
芯片功能验证流的高效生成方法被引量：1
2007年
设计验证(DesignVerification)在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。
孙钊王勇
关键词：设计规范有限状态机
全选 清除 导出
共1页<1>
聚类工具0