colin
/
Hazard3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Hazard3/test/formal/riscv-formal
History
Luke Wren 4946248dc4 RVFI monitor: blank out instructions which experienced an instruction fetch fault. 
(previous monitor logic was ok when fetch faults weren't implemented.
If the blanked instruction has side effects, these will break other test
properties, which we would detect.)
 		2022-04-12 13:38:19 +01:00
..
riscv-formal@8bede6ceb9 Use .f for riscv-formal tb dependencies, small reshuffling of directories 2021-05-30 09:44:57 +01:00
tb RVFI monitor: blank out instructions which experienced an instruction fetch fault. 2022-04-12 13:38:19 +01:00