SV中的structured procedure：

　　　　1)intial procedure，keyword只有initial；最开始被调用一次；

　　　　2)always procedure，keyword包括always，always_comb，always_latch，always_ff；

　　　　　　　　整个仿真时间一直被调用；

　　　　3)final procedure，keyword 只有final；最后被调用一次；

　　　　4)Task；

　　　　5)function；

其他的procedure contexts，包括：coverage point expression，assertion sequence items，action blocks；

always_comb，在time 0一定会被执行，这是与always (*)比较大的一个区别；

always_latch，always_ff，需要用户做额外的检查，保证procedure中的是相应的logic；

final procedure，最好只定义一个，多个之间的顺序是随机的，而且必须是不消耗仿真时间的，只是做一些display信息最好；

SV中的block 声明：1)sequenetial block，begin,,,,end block；

　　　　　　　　　2)parallel block，fork,,,join/any/none  block；

block中的name声明，可以加在begin或fork之后，并且相应的在end或者join/join_none/join_any之后也添加，组成一组。

　　　　　　name声明可以对内部的local var创建新的一层hier，也方便disable调用；

block中的label声明，加在begin或fork之前，end之后，组成一组；

　　　　　　label并不创建新的hier，只是方便指定disable等。

block的start和finish time可以指定为某个延时，或event；

　　　　　　fork

　　　　　　　　@a  begin,,,,end；

　　　　　　　　@b  begin,,,,end；

　　　　　　join

procedure中的timing control，

　　　　　　1)delay control，加#表示，specify block中制定的delay，可以被sdf override掉；

　　　　　　　　　　　　　　　　　　   组合逻辑，#在表达式之前，建模；

　　　　　　　　　　　　　　　　　　　时序逻辑，#在等号右侧，建模；

　　　　　　　　　　　　　　　　　　    tb中的输入激励，可以直接加#；

　　　　      2)event control，加@来进行表示；

　　　　　　　　　　　　　　implicit event，等待某个signal的value change；clock signal的pose/nege最为常用；

　　　　　　　　　　　　　    explicit event，显式声明某个event，然后做wait和trigger；

　　　　　　　　　　posedge，从0-x/z也算；negedge，从x/z-0也算；

　　　　　　　　　　@之后也可以添加class中的内容或，handle。主要相应的handle或者var变化，就是一个event的触发；

　　　　　　　　　　　　

　　　　　　　　　　不同的event之间，也可以进行or运算，或者用"，"来表示；

　　　　　　　　　　　　always @(a,b,c)   = always @(a or b or c)；　　

　　　　　　　　　　implicit类型的event_expression list 用 always @(*)   always  @*来表示；

　　　　　　　　　    conditional event表示，加入iff关键字；

　　　　　　　　　　　　always @( a iff enable == 1)  在enable为1的情况下的a的edge跳变；

　　　　　　　　　　sequence event表示某个sequence运行到end的时候，的结果时候改变；

　　　　　　　　　　　　sequence abc；

　　　　　　　　　　　　　　@ (posedge clk) a ##1 b ##1 c；

　　　　　　　　　　　　endsequence；

　　　　　　　　　　　　intial begin

　　　　　　　　　　　　　　@ abc  $display(“”);

　　　　　　　　　　　　end

　　　　 　　　　　　level_sensitive event，使用wait关键字，

　　　　　　　　　　　　wait expression；

　　　　　　　　　　　　wait fork；等待所有的child-process都执行结束；

　　　　　　　　　　　　wait_order  (identifier1,  identifier2,  identifier3) action_block(else等)；  等event按顺序进行trigger； 

　　　　　　　　　　　　　　　　必须是显式声明的event 类型；

　　　 　　　　　　　level_sensitive sequence event，使用内部function  triggered；

　　　　　　　　　　　　　　

　　　　　　3)intra_assignment timing control；将delay不能写在assign中。可以是delay，也可以是event；

　　　　　　　　　　　　　　

thread的创建：1)每个initial procedure；

　　　　　　　 2)每个final procedure；

　　　　　　　 3)每个always，always_comb，always_latch，always_ff procedure；

　　　　　　    4)每个fork---join的statement；

　　　　　　　 5)dynamic process；

process ctrl：wait，wait_order，wait fork；　　　　

　　wait fork，会等待当前进程的所有子进程结束，包括之前block块，未结束的进程。

　　　　　　disable  task/block identifier，disable fork；

　　　　　　　　　　wait fork和disable fork，等待或者disable该进程下的所以子进程；

　　　　　　　　　　disable后不能加function的identifier； 

　　disable block_name的格式，类似与verilog格式的static形式的disable，显示kill指定的process。

　　　　　　process的指定，只通过hier来确定。(automatic task或者function中的object，不能通过hier来引用，只能通过block内部的hier name来确定)

　　　　　　　　　　　　　　　　　　　　　　(使用disable block_name的时候，需要注意block_name在多线程中情况)

　　disable fork，更加切合sv dynamic的形式，查找当前begin end或者task, function中的进程，进行disable。

　　program test;

　　　　task automatic t(input int b);

　　　　　　fork：ONE

　　　　　　　　begin

　　　　　　　　　　#b $display('%0b', b);

　　　　　　　　end

　　　　　　　　begin

　　　　　　　　　　#b $display('%0b', b);

　　　　　　　　end

　　　　　　join_any

　　　　　　//str1   disable ONE;     //使用这种disable，sim output 5  (因为hier是一样的，所以两个ONE的进程都被杀了)

　　　　　　//str2   disable fork;　   //使用这种disable，sim output 5 ; 10　

　　　　endtask

　　endprogram

　　initial begin

　　　　fork

　　　　　　t(10);

　　　　　　t(5);

　　　　join

　　end

SV中定义了process的class，来对每个process做具体的控制；

　　　　　　

　　　　　　应用，await，kil，resume等function；