Verilog的delay与阻塞or非阻塞的仿真

仿真、延迟时序ftang 代码技巧

用【$display()】+【$time】

引入【$display()】对仿真的影响------display若打印变量、变量也作为敏感信号无$display()时候

【$monitor()类似】

有$display()时候+$display()不使用变量===不会影响逻辑

例子

---------------2个变量

例子1=阻塞+delay在右侧==【process在sleep期间忽略其他事件+唤醒后使用old 右值】

在T=100时，触发always块的process执行

#50会导致该process进入sleep

且因为是=阻塞赋值，则在该process过程中、其不会被新的事件唤醒【也阻塞其他事件】当该process被唤醒的时候，使用旧的右值、并赋给左值【右侧delay使用旧值】

例子1续=阻塞+delay在右侧==【更清晰看出sleep期间忽略新的事件】

在T=100时候，#50导致process进入sleep------sleep期间忽略、其他事件

例子2=阻塞+delay在左侧==【process在sleep期间忽略其他事件+唤醒后使用new 右值】

在T=100时，触发always块的process执行

#50导致该线程进入睡眠-----在睡眠会忽略其他的事件【添加$display()可知】

例子3=非阻塞+delay在右侧==【process立即返回+对new事件敏感+使用old值】

在T=100时，触发always块的process执行

#50会导致该process进入sleep

且因为是<=非阻塞赋值，则不会阻塞后面的语句执行，因后面没有语句该process相当于立即返回【若加打印可以看的比较清楚，立即返回了】

在T=120时，因该process返回了，则可以被再次触发

对比=若后面还有其他阻塞语句话【如#30】，则该process不会立即返回------在sleep期间、会忽略新的事件

例子4=非阻塞+delay在左侧==

在T=100时，触发always块的process执行

因为#50在左侧=则该process进入sleep------在sleep期间、忽略新的触发事件【则上面提取的概念】

--------sleep方面+process返回

【整个process做sleep】+【部分子式做sleep，但process返回】

【process做sleep】与【process返回】-----process返回后，才会响应new触发事件----------实例

阻塞赋值----会阻塞整个process，导致process不能返回

【left = right】

【left=#delay right】会先计算right，在做赋值

#delay在左侧-----会阻塞整个process

-------------------3个变量

例子a1=阻塞+delay在右侧+级联

在T=100时，触发always块的process执行

#50导致process做sleep

在process Wakeup后，做更新leftValue的操作【先计算右值+产生update事件+process做sleep+唤醒后更新左值+再做本process后面操作】

在T=150时，process唤醒

因第1条语句是阻塞、则process没有返回的----执行完b更新后、b的值变化

但第2句仍为阻塞赋值、则其阻塞process返回-----则前面的b变化、不会导致process重新

被触发

对比=若第2句为非阻塞、则在T=150时候，先计算第2句右值+process返回+再更新第2句左值【因b在第1句更新的、那时process未返回，则也不会触发新的process】

再对比=非阻塞赋值，是先process返回、再执行更新左值

例子a2=阻塞+delay在右侧+平行

例子a3=阻塞+delay在左侧+级联

阻塞=会阻塞process的返回+阻塞process返回前、对敏感信号的响应

例子a4=阻塞+delay在左侧+平行

例子a5=非阻塞+delay在右侧+级联

例子a6=非阻塞+delay在左侧+级联

例子a7=非阻塞+delay在右侧+平行

【上面提取】

【产生update事件】+【更新左值】是不同的概念，也是不同的调度顺序-----【<=为先产生updateEvent+再process返回+最新更新左值】+【=先产生updateEvent+更新左值+最后process返回】

即阻塞---不仅阻塞后面的语句执行，也阻塞process返回+也阻塞process对newEvent敏感

【left=#delay right】==【先计算右值+产生update事件+process做sleep+唤醒后更新左值+再做本process后面操作(若无操作则process返回)】

【left<=#delay right】==【先计算右值+产生update事件+process做sleep+唤醒后process 返回(若后续无阻塞语句)+更新左值】

【process在返回前、会忽略new触发事件】

【#delay】从某种程度上、相当于阻塞

在左侧则#delay相当于单独的1句，【#delay left=right;】等价于【#delay; left=right; 】

在右侧则这里有1个语法相关执行顺序，先执行右侧表达式，再执行delay【left=#delay right;】等价于【tmp= right ; #delay; left= tmp;】

小结

组合逻辑中，#delay即不能加在左侧，也不能放在右侧----因为在process做sleep时候、会忽略敏感事件

时序逻辑中，#delay只能加在右侧