system verilog 硬件验证语言(Hardware Verification Language,HVL)
- 受约束的随机激励生成
- 功能覆盖率
- 更高层次的结构(面向对象)
- 多线程及线程间的通信
- 支持HDL数据类型,例如verilog的四状态数值
- 集成事件仿真器
(硬件设计的目的在于创建一个基于设计规范并能完成特定任务的设备)
(1)受约束的随机激励
(2)功能覆盖率
(3)使用事务处理器的分层测试平台
(4)对所有测试通用的测试平台
(5)独立于测试平台之外的个性化测试代码
定向测试:(找出设计中预期的漏洞)->在时间轴上往前推进,覆盖率可能维持不变
随机测试:(能够找出预料不到的漏洞)->需要用功能覆盖率来评估验证的进展情况
随着漏洞出现率的下降,创建新的随机约束去探索新的区域,最后的几个漏洞可能通过定向测试来发现,但是绝大部分的漏洞都应该会在随机测试中出现。
受约束的随机激励:希望仿真器能产生随机激励,但同时又不希望这些激励数