File tree Expand file tree Collapse file tree 2 files changed +2
-4
lines changed Expand file tree Collapse file tree 2 files changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -379,12 +379,11 @@ endgenerate
379
379
.PMA_CFG (PMA_CFG ))
380
380
write_buffer_sva (.* );
381
381
382
- /* todo: reintroduce once ZC_EXT is set to 1 by default.
383
382
bind cv32e40x_sequencer:
384
383
core_i.if_stage_i.gen_seq.sequencer_i
385
384
cv32e40x_sequencer_sva
386
385
sequencer_sva (.* );
387
- */
386
+
388
387
`ifndef FORMAL
389
388
bind cv32e40x_rvfi:
390
389
rvfi_i
Original file line number Diff line number Diff line change @@ -137,8 +137,7 @@ module cv32e40x_core import cv32e40x_pkg::*;
137
137
localparam int unsigned REGFILE_NUM_READ_PORTS = X_EXT ? X_NUM_RS : 2 ;
138
138
139
139
// Zc is always present
140
- // todo: turn on when Zc is ready for core-v-verif
141
- localparam bit ZC_EXT = 0 ;
140
+ localparam bit ZC_EXT = 1 ;
142
141
143
142
// Determine alignedness of mtvt
144
143
// mtvt[31:N] holds mtvt table entry
You can’t perform that action at this time.
0 commit comments