program,各方面与module都类似,其中声明的变量在program中都可见,
生命周期也是static类型的,
program的结束,也是需要等待其中的所有initial块都执行结束。
与module最大的不同是,program中的时间都是在reactive的区域中执行的。
所以如果clock块写在program中,非阻塞赋值,都先发生在program中的Re_NBA中。
program中的信号的toggle变化,都是在module之后的,且当拍可以看见module中信号的变化。
共发断言也可以在program中,但是不推荐,
(concurrent assertion,采样都是在prepone中,evalution在reactive区域。
其中的property的断言用program中的信号。)
program中不能例化module,interface,其他program,不能包含always模块。
可以包含initial final等。
module中不能调用program中的function,task,
program中可以调用module中的function,task&#