github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-20 03:47:15 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[rtl] Assert that dummy instructions only write R0

Browse source 
Signed-off-by: Andreas Kurth <adk@lowrisc.org>
This commit is contained in:
Andreas Kurth 2022-10-14 12:03:26 +00:00 • committed by Greg Chadwick
parent 73e46b4fc7
commit ce536ae476
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
rtl/ibex_top.sv
View file

@ -1134,4 +1134,8 @@ module ibex_top import ibex_pkg::*; #(
`ASSERT_KNOWN(IbexDebugReqX, debug_req_i)
`ASSERT_KNOWN(IbexFetchEnableX, fetch_enable_i)
// Dummy instructions may only write to register 0, which is a special register when dummy
// instructions are enabled.
`ASSERT(WaddrAZeroForDummyInstr, dummy_instr_id && rf_we_wb |-> rf_waddr_wb == '0)
endmodule