Verilog的delay与阻塞or非阻塞的仿真讲述.docVIP

仿真、延迟时序ftang 代码技巧 用【$display()】+【$time】 引入【$display()】对仿真的影响------display若打印变量、变量也作为敏感信号 无$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()可知】 当该process被唤醒的时候，使用最新的右值【左侧delay使用新值】 例子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返回】 即阻塞---不仅阻塞后面的语句执行，也阻塞proc