anchor.diff:           // Main body of fa_exec(), dispatching to the sub functions
            // based on major OPCODE
   
  -         if (cfg_verbose != 0)
  -            $display("RISCV_Spec.fa_exec: instr 0x%08h", instr);
  +         if (cfg_verbose != 0) $display("[%7d] fa_exec: instr 0x%08h", csr_cycle, instr);
   
            if      (decoded.opcode == op_LUI)      fa_exec_LUI();
            else if (decoded.opcode == op_AUIPC)    fa_exec_AUIPC();
  
positive.code:          // IMem response is ok
           tagged IMem_Resp_Ok  .instr:
              begin
                 if (cfg_verbose > 1) $display("[%6d] RISCV(rl_exec): STATE_EXEC (PC = 0x%08X, instr = 0x%08X)", csr_cycle, pc, instr);
                 rg_instr <= instr;
                 fa_exec (instr);
              end
  
negative.code:    // Issue instruction request
  
     rule rl_fetch(cpu_state == STATE_FETCH);
        if (cfg_verbose > 1) $display("[%7d] rl_fetch: PC = 0x%08X", csr_cycle, pc);
  
        memory.imem_req(pc);
        cpu_state <= STATE_EXEC;
  