您的位置： 专家智库 > >

张智钧

作品数：1 被引量：4H指数：1
供职机构：北京计算机及应用研究所更多>>
发文基金：中央高校基本科研业务费专项资金黑龙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇断言
  • 1篇PCI
  • 1篇SVA
  • 1篇COMPAC...
  • 1篇COMPAC...
  • 1篇IP核

机构

  • 1篇哈尔滨工程大...
  • 1篇中国科学院电...
  • 1篇北京计算机及...

作者

  • 1篇孙盟哲
  • 1篇袁莉娜
  • 1篇张智钧

传媒

  • 1篇小型微型计算...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于断言的Compact PCI总线IP核功能验证被引量：4
2014年
近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性.
姚爱红孙盟哲张智钧袁莉娜
关键词：断言IP核SVACOMPACTPCI
全选 清除 导出
共1页<1>
聚类工具0