Skip to content

Commit

Permalink
[rv_core_ibex] Update AscentLint waiver for newly added onehot muxes
Browse files Browse the repository at this point in the history
Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
  • Loading branch information
vogelpi committed Jan 19, 2024
1 parent 818f1fd commit b2e29a5
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions hw/ip/rv_core_ibex/lint/rv_core_ibex.waiver
Original file line number Diff line number Diff line change
Expand Up @@ -120,6 +120,9 @@ waive -rules RESET_MUX -location {ibex_lockstep.sv} -regexp {Asynchro
-comment "The test enable input used to control the bypass can be considered static"
waive -rules RESET_USE -location {ibex_lockstep.sv} -regexp {'rst_shadow_set_q' is used for some other purpose, and as asynchronous reset 'rst_ni' at}
-comment "A synchronous counter is needed to release the shadow core reset with a delay of LockstepOffset clock cycles and start the comparison logic one clock cycle later"
waive -rules {CLOCK_USE RESET_USE} -location {ibex_register_file_ff.sv} \
-regexp {'(clk_i|rst_ni)' is connected to '(prim_onehot_mux)' port} \
-comment {The module is fully combinatorial, clk/rst are only used for assertions.}

# Highlighting my main concerns here, documenting areas to review in next dive
#
Expand Down

0 comments on commit b2e29a5

Please sign in to comment.