期刊文献+

设计验证中的随机约束 被引量:5

下载PDF
导出
摘要 随机约束在现代集成电路验证中已得到国际IC设计业界的普遍认可,并逐渐开始普及。与传统的定向测试比较,它在验证效率、验证覆盖率等方面具有诸多优势。最新公布的SystemVerilogIEEE标准中,包含了对随机约束的支持。本文举例说明了随机约束的优点、使用方法及其与断言和功能覆盖率相辅相成的关系。目前国内已有一些设计单位开始将随机约束应用于设计验证中,本文的宗旨是介绍我们的成功经验以推动这种新的验证方法在国内的推广和普及。
出处 《中国集成电路》 2006年第11期28-31,44,共5页 China lntegrated Circuit
  • 相关文献

参考文献2

  • 1[1]Accellera 《SystemVerilog 3.1a Language Reference Manual》 被引量:1
  • 2[2]Janick Bergeron & Eduard Cerny & Alan Hunter & Andrew Nightingale 《Verification Methodology Manual for SystemVerilog》 Springers 2006 Synopsys,Inc and ARM Limited 被引量:1

同被引文献33

引证文献5

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部