企业官网建设流程全解析

Forever循环死锁原因

在forever循环中仿真会死锁的根本原因是：循环体内没有阻塞语句，导致零时间无限循环，仿真时间永远不推进，其他进程得不到执行机会。

1. 仿真时间推进机制

SystemVerilog 仿真器按时间片调度进程。只有当一个进程执行到时间消耗语句（如@、#、wait、阻塞的get/put等）时，仿真器才会暂停该进程，去执行其他进程，并可能推进仿真时间。

如果forever循环里只有if()判断，没有任何阻塞语句，那么这个循环会在零仿真时间内无限次执行。仿真器会一直卡在这个循环里，时间不前进，其他进程（包括时钟、DUT、sequencer、sequence）永远无法运行，表现为仿真“死锁”或“挂起”。

2. 两种典型情况

2.1if条件永远不满足

systemverilog

forever begin if (condition) begin // 永远不执行 end end

循环空转，零时间无限循环，仿真时间不推进。

2.2