您的位置： 专家智库 > >

杜宇坤

作品数：1 被引量：0H指数：0
供职机构：北京电子工程总体研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇断言
  • 1篇自动生成
  • 1篇自动生成技术
  • 1篇自动生成系统
  • 1篇寄存器
  • 1篇寄存器传输级

机构

  • 1篇北京电子工程...
  • 1篇微电子有限公...

作者

  • 1篇杨修涛
  • 1篇迟鹏
  • 1篇杜宇坤

传媒

  • 1篇计算机工程

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于需求的断言自动生成技术
2016年
基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方式、定义行为窗及解析寄存器传输级代码,给出信号组合算法及波形分析算法,并设计包含波形库、断言库及波形解析器的断言自动生成工具。实验结果表明,与手工编写的断言相比,该方法生成的断言在数量上满足每100条寄存器传输级代码对应10条～20条断言的要求,并且正确率较高。
杨修涛迟鹏杜宇坤徐林伟
关键词：寄存器传输级
全选 清除 导出
共1页<1>
聚类工具0