EDN China > 其它文章 > EDA工具与服务 > IC设计与设计服务 > 正文
? 2016博客大赛-不限主题,寻找电子导师,大奖升级??

基于断言的硬件设计功能验证技术

韩伟华?? Synopsys Inc?? 2004年11月30日 ?? 收藏0

代码则将设计单元属性states与模块mpu的两个例化tb.mpu1和tb.mpu2进行绑定。
  与OVL一样,在OVA中也定义了常用的属性声明,构成了OVA的检查库。OVA的检查库包括以下几类:
  ·?对象值属性检查库
  . ova_arith_overflow ?. ova_asserted ?. ova_bits ?. ova_check_bool
  . ova_const?. ova_deasserted??. ova_dec?. ova_delta
  . ova_even_parity? .ova_forbid_bool??. ova_inc
  . ova_odd_parity?. ova_overflow?. ova_range ova_underflow?. ova_value
  ·?状态转移属性检查库
  . ova_code_distance?. ova_driven?. ova_mutex&n

bsp;. ova_next_state
  . ova_one_cold?. ova_one_hot?. ova_quiescent_state?. ova_tri_state
  ·?事件定时时序属性检查库
  . ova_hold?. ova_hold_value??. ova_reg_loaded??. ova_sequence
  . ova_timeout?. ova_window
  ·?事件协议属性检查库
  . ova_arbiter?. ova_data_used??. ova_dual_clk_fifo?. ova_fifo
  . ova_follows?. ova_memory?. ova_memory_async?. ova_no_contention
  . ova_req_requires?. ova_req_resp ova_stack??. ova_valid_id
  结论
  设计复杂度的增加、IP重用等当前复杂SoC/ASIC设计的特性要求对设计的功能进行更加充分的验证。基于断言技术并结合了动态仿真、形式验证、测试激励自动化等方法的硬件验证平台构成了新的验证方法学,能有效提高验证的质量和效率。

  参考文献
  [1] AMBATM Specification(Rev2.0)
  [2] www.accellera.com
  [3] Gabe Moretti, “Formal verification is ready for the limelight”, EDN,2002,9,26
  [4] OpenVera Assertions Language Reference Manual, Synopsys, Inc.
  [5] 1076TM IEEE Standard VHDL Language Reference Manual
  [6] Surrendra Dudani, “High Level Functional Verification Closure”, IEEE International Conference on Computer Design, 2002
  [7] Michael C McFarland, “Formal Verification of Sequential Hardware: A Tutorial”, IEEE Transactions on Computer-aided Design of Integrated Circuites and Systems. Vol 12,No.5, May 1993
  [8] Open Verification Library, Assertion Monitor Reference Manual.? http://www.verificationlib.org/
  [9] Bob Bentley, “Validating the Intel Pentium 4 Microprocessor”, Dependable Systems and Networks, 2001. Proeedings. The International Conference on , 1-4 July 2001
  [10] Patankar,V.A, “Forma


?? ?? ??


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友
?? ??

断言? 硬件? 验证?

相关文章

我来评论
美国的游客
美国的游客 ??? (您将以游客身份发表,请登录 | 注册)
?
有问题请反馈