When downstream has backpressure, the flush function cannot work properly. so can we add the following sva property?
assupe property (
@(posedge clk_i) disable iff (!rst_ni)
flush_i |-> ready_i
) else $warning("Trying to flush when downstream not ready");
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");
When downstream has backpressure, the flush function cannot work properly. so can we add the following sva property? assupe property ( @(posedge clk_i) disable iff (!rst_ni) flush_i |-> ready_i ) else $warning("Trying to flush when downstream not ready");