RuleBase Parallel Edition

GenBuf requests get acknowledged

vunit genbuf_req_get_ack 
{
"GenBuf requests eventually get acknowledged"
%for i in 0..1 do
    assert always (BtoR_REQ(%{i}) -> next ( RtoB_ACK(%{i})));
%end
}

Print this page