摘要： 当考虑对一个设计的激励进行随机化时，可能第一个就会想到是数据字段，这种激励最容易创建——只需要调用$random()即可。问题是这种随机数据在找漏洞方面的回报很小，能够使用随机数据找到的漏洞类型基本上都是在数据路径上，很可能都是比特级的错误，需要找出控制逻辑上的漏洞。此外，需要广泛地考虑所有的设计输 阅读全文

摘要： 与硬件描述语言（HDL）相比，硬件验证语言（HVL）有一些典型的性质： 受约束的随机激励产生 功能覆盖率 更高层次的结构，尤其是面向对象的编程 多线程及线程间的通信 支持HDL数据类型，例如Verilog的四状态数值 集成了事件仿真器，便于对设计施加控制 硬件设计的目的在于创建一个基于设计规范并能完 阅读全文