anchor.diff:     BITS8,
      BITS16,
      BITS32
  -} Mem_Data_Size deriving (Eq, Bits, FShow);
  +} Mem_Data_Size deriving(Eq, Bits, FShow);
   
   Addr imemSt = 'h00000;
   Addr dmemSt = 'h10000;
  
positive.code:    //Bit#(2)  aqrl;
  } Decoded_Instr deriving(FShow, Bits);
  
  function Decoded_Instr fv_decode (Instr instr);
     return Decoded_Instr {
            opcode:    instr_opcode   (instr),
            rd:        instr_rd       (instr),
            rs1:       instr_rs1      (instr),
            rs2:       instr_rs2      (instr),
            rs3:       instr_rs3      (instr),
            csr:       instr_csr      (instr),
  
            funct3:    instr_funct3   (instr),
            funct5:    instr_funct5   (instr),
            funct7:    instr_funct7   (instr),
            funct10:   instr_funct10  (instr),
  
            imm12_I:   instr_I_imm12  (instr),
            imm12_S:   instr_S_imm12  (instr),
            imm13_SB:  instr_SB_imm13 (instr),
            imm20_U:   instr_U_imm20  (instr),
            imm21_UJ:  instr_UJ_imm21 (instr)
  
            //pred:      instr_pred     (instr),
            //succ:      instr_succ     (instr),
  
            //aqrl:      instr_aqrl     (instr)
            };
  endfunction
  
  
negative.code: // SFENCE.VM
  Bit#(12) f12_SFENCE_VM = 12'b0001_0000_0001;
  
  function Bool is_SYSTEM_PRIV(Instr instr);
     return(   (instr_opcode(instr) == op_SYSTEM)
            && (instr_funct3(instr) == f3_PRIV));
  endfunction
  
  
  