tsyw
Results
3
comments of
tsyw
Found this bug two.
sorry for the typo: `assume property ( @(posedge clk_i) disable iff (!rst_ni) flush_i |-> ready_i ) else $warning("Trying to flush when downstream not ready");`
We found two issues 1. the side_bar expand/collapse will consume many time on create/remove nodes if the nodes number is too large. 2. The one addressmap have a huge number...