高级验证方法学()-Mentor-笔记

1、事物级组件间一般用fifo作为通信通道 2、sv中，参数或局部参数优先于宏，这样可以减少编译的次数 3、验证方案从设计规范来，验证方案有一个问题清单，列举所有验证过程需要回答的问题，和说明如何被回答的机制的描述。此外还有一个checklist，列举所有需要回答的问题，它也是测试平台的功能规范 4、systemC不适合构建低层次验证平台 5、激励生成方式：随机、定向、定向随机，运行方式：自由运行

>>阅读原文<<