github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 12:57:13 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[fpv] Only include double fault prediction logic where RVFI exists

Browse source
This commit is contained in:
Greg Chadwick 2022-11-15 17:53:32 +00:00 • committed by Greg Chadwick
parent b736680ddb
commit d8b00f0b17
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
rtl/ibex_top.sv
View file

@ -1167,7 +1167,9 @@ module ibex_top import ibex_pkg::*; #(
// data_err_i relevant to both reads and writes. Check it isn't X on any response.
`ASSERT_KNOWN_IF(IbexDataRErrPayloadX, data_err_i, data_rvalid_i)
// Tracking logic and predictor for double_fault_seen_o output
`ifdef RVFI
// Tracking logic and predictor for double_fault_seen_o output, relies on RVFI so only include
// it where RVFI is available.
// Returns 1'b1 if the provided instruction decodes to one that would write the sync_exc_bit of
// the CPUCTRLSTS CSR
@ -1243,6 +1245,7 @@ module ibex_top import ibex_pkg::*; #(
// If double_fault_seen_o is asserted we should see predict one occurring within a bounded time
`ASSERT(DoubleFaultPulseOnlyOnDoubleFault,
double_fault_seen_o |-> ##[0:DoubleFaultSeenLatency] double_fault_seen_predicted)
`endif // RVFI
`endif
`ASSERT_KNOWN(IbexIrqX, {irq_software_i, irq_timer_i, irq_external_i, irq_fast_i, irq_nm_i})