jj0709的博客

之前active/inactive/NBA区域全部执行完毕后，即设计部分的线程执行完毕，接下来为SV为验证准备的，observed区域为属性断言准备，用于检测所有数据对象被赋予最终的数值，该区域适合interface与程序块采样。input指定#0 skew，active region判断@(event) ，会在observed region采样，指定#n step，采样值会在clocking event之前的postponed region采样；

亚稳态：当输入信号D无法满足建立时间或保持时间，称之产生了setup time/hold time violation，此时Q的输出无法确定是“0”或“1”，需要一定时间后才可以稳定。可以说，当Q端在clk-to-q time（输入信号满足setup time/hold time要求，从时钟沿到来时刻到输出端Q变化至稳定的时间）之后才稳定的话，我们说这个触发器产生了亚稳态。的概念就是为了补偿数据在G4/G1门上的延迟，时钟到来之前，G2/G3端的输入数据需要准备好，以便数据被正确采样。