3.4从设计规范到功能683.5直接的测试平台方法743.6覆盖率驱动的可约束的随机验证方法773.7小结85第4章高层次建模.864.1行为级与RTL级的思考.864.2必须要有设计风格.894.3行为级代码的结构.934.4数据抽象.。1054.5面向对象的编程.1204.6面向方面编程1324.7并行仿真引擎1384.8竞争状态1534.9 Verilog可移植性问题.1614.10小结167第5章激励与响应1685.1参考信号.1685.2简单的激励.1815.3简单的输出.186.5.4复杂的激励1955.5总线功能模型.2005.6响应监测器2175.7事务层接口.2305.8小结237第6章测试平台的结构.2386.1测试接口2396.2VHDL测试接口.2436.3设计的配置。2526.4自检验的测试平台2566.5直接激励2656.6随机激励2676.7小结28316
