diff options
Diffstat (limited to 'model/rvfi_dii.sail')
| -rw-r--r-- | model/rvfi_dii.sail | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/model/rvfi_dii.sail b/model/rvfi_dii.sail index b0e3a06..00de956 100644 --- a/model/rvfi_dii.sail +++ b/model/rvfi_dii.sail @@ -74,6 +74,11 @@ val rvfi_get_exec_packet : unit -> bits(704) effect {rreg} function rvfi_get_exec_packet() = rvfi_exec.bits() +val rvfi_encode_width_mask : forall 'n, 0 < 'n <= 8. atom('n) -> bits(8) + +function rvfi_encode_width_mask(width) = + (0xFF >> (8 - width)) + val print_rvfi_exec : unit -> unit effect {rreg} function print_rvfi_exec () = { |