首页|嵌入式系统|显示技术|模拟IC/电源|元件与制造|其他IC/制程|消费类电子|无线/通信|汽车电子|工业控制|医疗电子|测试测量
首页 > 分享下载 > 常用文档 > 验证

验证

资料介绍
验证
下载



第11章 验 证
本章介绍了如何编写测试验证程序 (test bench) 。测试验证程序用于测试和验证设计的正
确性。 Verilog HDL 提供强有力的结构来说明测试验证程序。

11.1 编写测试验证程序

测试验证程序有三个主要目的:
1) 产生模拟激励 (波形 ) 。
2) 将输入激励加入到测试模块并收集其输出响应;
3) 将响应输出与期望值进行比较。
Verilog HDL 提供了大量的方法以编写测试验证程序。在本章中,我们将对其中的某些方
法进行探讨。典型的测试验证程序形式如下:
module Test_Bench ;
//通常测试验证程序没有输入和输出端口。
Local_reg_and_net_declarations
Generate_waveforms_using_initial_&_always_statements
Instantiate_module_under_test
Monitor_output_and_compare_with_expected_values
endmodule
测试中,通过在测试验证程序中进行实例化,激励自动加载于测试模块。

11.2 波形产生

有两种产生激励值的主要方法:
1) 产生波形,并在确定的离散时间间隔加载激励。
2) 根据模块状态产生激励,即根据模块的输出响应产生激励。
……
验证
本地下载

评论