Nonblocking Assignments in Verilog Synthesis, …