Program
Q:Program能不能含有always块?
A:不能,因为program不能含有module,因此必然不会含有always块。
- 实例
要生成图中激励,可以写出如下的代码:
program test(arb_if.TB arbif);
initial begin
//asynch drive reset
//reset信号为不同步信号,使用#xns的格式描述时序
arbif.reset <= 0;
#15ns arbif.reset <= 1;
#35ns arbif.reset <= 0;
//synch drive request
//request信号为同步信号,使用##x的格式描述setup/hold time
##1 arbif.cb.request <= 1;
##1 arbif.cb.request <= 0;
wait (arbif.cb.grant == 1);
end
endprogram
interface arb_if(input bit clk);
logic grant,request,reset;
clocking cb@(posedge clk);
input grant;
output request;
endclocking
modport TB(clocking cb, output reset);
endinterface:arb_if
- 总结
好处:1.将tb从DUV分离开来;2.通过在不同时域运行,避免竞争的发生;3.为程序运行提供一个切入点;4.划定一个范围去限制数据的产生
作用:1.program可以在top中例化;2.interface和port可以互相连接;3.program下没有子模块,仅仅描述运行的过程;4.program的代码在initial模块下具有一次性,不包含always块;5.在reactive时间域下判定;6.initial模块运行结束以后程序会自动停止运行,相当于具备隐藏的$finish。
-
Top
top模块包含的内容:
代码
用sv写成的 testbench代码:
automatic的意思与C语言相同,与static静态存储相对,automatic是动态存储。
操作技巧:在文档中搜索某一个变量时,可以将光标放在目标变量上然后按下shift+*,所有同名变量会被高亮。