Open mhayat-10xe opened 1 month ago
Below is the counter-example of a failed assertion, in the 14th cycle, when request_type_q is idle, leading to req_trans_i being 0, pdt_walk_o should be 0. However, pdt_walk_o is set to 1 in this case which is wrong.
request_type_q
req_trans_i
pdt_walk_o
Below is the counter-example of a failed assertion, in the 14th cycle, when
request_type_q
is idle, leading toreq_trans_i
being 0,pdt_walk_o
should be 0. However,pdt_walk_o
is set to 1 in this case which is wrong.