cve2/rtl
Fresher14 0199bbae66 Use overlapping implications for Xcelium 19.03
Xcelium 19.03 doesn't support the `->` (binary logical) operator, but
using `|->` (overlapping implication) is equivalent here and supported;
use this operator instead.

Fixes #1213
2020-12-17 11:25:03 +00:00
..
ibex_alu.sv [rtl] Various small lint fixes 2020-10-27 11:29:35 +00:00
ibex_branch_predict.sv Fix Xcelium warnings 2020-11-18 10:16:48 +00:00
ibex_compressed_decoder.sv [rtl] Introduce default clk/reset to prim_assert 2020-02-10 09:42:52 +00:00
ibex_controller.sv Use overlapping implications for Xcelium 19.03 2020-12-17 11:25:03 +00:00
ibex_core.f Merge pull request #624 from ganoam/fpga-opt-perf-mon-pr 2020-03-06 12:49:51 +01:00
ibex_core.sv [rtl] Fix performance counter bug 2020-11-10 11:43:17 +00:00
ibex_core_tracing.sv Add support for additional HW breakpoints 2020-10-19 13:20:08 +02:00
ibex_counter.sv ibex_counter: Use always_ff 2020-07-09 13:42:33 +01:00
ibex_cs_registers.sv [rtl] Reduce size of PMP addr CSRs to minimum 2020-11-09 14:49:06 +00:00
ibex_csr.sv [rtl] Add CSR module and instantiate 2020-10-14 15:53:33 +01:00
ibex_decoder.sv [rtl] Various small lint fixes 2020-10-27 11:29:35 +00:00
ibex_dummy_instr.sv Prevent writing CSR_SECURESEED to get the seed of dummy instruction 2020-06-23 11:48:33 +01:00
ibex_ex_block.sv Add a single RV32M enum parameter to select multiplier implementation 2020-08-20 11:50:08 +02:00
ibex_fetch_fifo.sv [rtl] Various security feature bugfixes 2020-10-14 15:46:10 +01:00
ibex_icache.sv [rtl] Add branch prediction signals to icache 2020-12-02 15:10:48 +00:00
ibex_id_stage.sv [rtl] Fix performance counter bug 2020-11-10 11:43:17 +00:00
ibex_if_stage.sv [rtl] Add branch prediction signals to icache 2020-12-02 15:10:48 +00:00
ibex_load_store_unit.sv [rtl] Fix writeback stage interrupt issue 2020-06-10 15:13:32 +01:00
ibex_multdiv_fast.sv [rtl] Lint fix for unused signal in multdiv 2020-11-02 17:04:49 +00:00
ibex_multdiv_slow.sv [formal] Add check for multdiv cycle consumption 2020-09-16 16:30:20 +01:00
ibex_pkg.sv [rtl] Introduce static branch prediction 2020-08-27 11:25:17 +01:00
ibex_pmp.sv [rtl] Fix NAPOT address matching 2020-11-06 17:47:26 +00:00
ibex_prefetch_buffer.sv [rtl] Add branch prediction signals to icache 2020-12-02 15:10:48 +00:00
ibex_register_file_ff.sv [rtl] Various small lint fixes 2020-10-27 11:29:35 +00:00
ibex_register_file_fpga.sv [rtl] Various small lint fixes 2020-10-27 11:29:35 +00:00
ibex_register_file_latch.sv Add RegFile parameter for selecting register file implementation 2020-08-21 14:20:34 +02:00
ibex_tracer.sv [rtl] Add plusarg to disable trace log 2020-10-13 15:23:22 +02:00
ibex_tracer_pkg.sv Fix Verible lint issues 2020-07-03 12:20:32 +01:00
ibex_wb_stage.sv [rtl] Fix performance counter bug 2020-11-10 11:43:17 +00:00