You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.The text was updated successfully, but these errors were encountered: