diff options
Diffstat (limited to 'scripts/smtbmc/opcode.v')
-rw-r--r-- | scripts/smtbmc/opcode.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/smtbmc/opcode.v b/scripts/smtbmc/opcode.v index 4c3792d..7a13bd2 100644 --- a/scripts/smtbmc/opcode.v +++ b/scripts/smtbmc/opcode.v @@ -86,7 +86,7 @@ function opcode_sys; if (opcode[31:20] == 12'hC81 && opcode[19:12] == 3'b010 && opcode[6:0] == 7'b1110011) opcode_sys = 1; // RDTIMEH if (opcode[31:20] == 12'hC82 && opcode[19:12] == 3'b010 && opcode[6:0] == 7'b1110011) opcode_sys = 1; // RDINSTRETH end - + endfunction function opcode_valid; |