第6章仿真与验证导论.pptVIP

6.1 系统任务与系统函数 系统任务与函数分类 ⑴显示任务 ⑵文件输入与输出任务 ⑶仿真控制任务 ⑷时间标度任务 ⑸ PLA建模任务 ⑹随机建模任务 ⑺变换函数 ⑻概率分布函数 ⑼字符格式化 ⑽命令行参变量 仿真调试程序 还有其它系统任务和函数用于读取文件中数据： 6.2编译指令的使用 编译指令： 2、编译时包含其它文件指令 激励波形仿真测试程序 【例6.2】 激励波形的描述 `timescale 1ns/1ns module test1; reg a,b,c; initial begin a=0;b=1;c=0; #100 c=1; #100 a=1;b=0; #100 a=0; #100 c=0; #100 $stop; end initial $monitor($time,,,a=%d b=%d c=%d,a,b,c); //显示 endmodule ModelSim仿真结果 仿真激励波形测试程序 【例6.8】 激励波形的描述 `timescale 1ns/1ns module test1; reg a,b,c; initial begin a=0;b=1;c=0; #100 c=1; #100 a=1;b=0; #100 a=0; #100 c=0; #100 $stop; end initial $monitor($time,,,a=%d b=%d c=%d,a,b,c); //显示 endmodule ModelSim仿真结果 例6.9 BCD编码器程序 例6.10 BCD编码器仿真测试程序 ModelSim BCD编码器仿真结果 【例6.11】 always语句用于时钟波形的描述 `timescale 1ns/1ns …… reg clk; parameter CYCLE=100; //一个时钟周期100ns always #(CYCLE/2) clk=~clk; //always语句产生时钟波形 intial clk=1; …… 2、 ModelSim仿真实例 ModelSim仿真 ModelSim工作界面 ModelSim仿真 ModelSim仿真 2、新建仿真文件 ModelSim仿真 3、输入仿真文件代码并编译 ModelSim仿真 生成编译文件自动加载到work工作库 ModelSim仿真 对work工作库中的测试程序进行命令仿真（simlate coverage） ，并从object中加载端口到波形Wave中。 4、点击仿真命令（run all)，运行仿真程序，输出波形显示和命令行窗口结果显示 。 习 题 6 primitive carry_udpx(cout,cin,a,b); input cin,a,b; output cout; table //cin a b : cout //真值表 //只要有两个输入为0，则进位输出肯定为0 ? 0 0 : 0; 0 ? 0 : 0; 0 0 ? : 0; //只要有两个输入为1，则进位输出肯定为1 ? 1 1 : 1; 1 ? 1 : 1; 1 1 ? : 1; endtable endprimitive 【例6.5】用简缩符“？”表述的1位全加器进位输出UDP元件 1、组合电路UDP元件 2、时序逻辑UDP元件 primitive latch(Q,clk,reset,D); input clk,reset,D; output Q; reg Q; initial Q=1b1; //初始化 table //clk reset D:state:Q ? 1 ? : ? : 0; //reset高电平有效复位 0 0 0 : ? : 0; //clk低电平有效锁存 0 0 1 : ? : 1; 1 0 ? : ? : -; //“-”表示维持原状态 endtable endprimitive 【例6.6】 电平敏感的1位数据锁存器UDP元件 primitive DFF(Q,D,clk); input D,clk; output Q; reg Q; table //clk D : state : Q (01) 0 : ? : 0; //上升沿到来，输出Q=D (01) 1 : ? : 1; (0x)