arbiter runtime assertion

This commit is contained in:
Blaise Tine 2024-08-13 21:39:08 -07:00
parent aef1411af5
commit cfb5cd5326

View file

@ -90,7 +90,7 @@ module VX_generic_arbiter #(
end
`RUNTIME_ASSERT ((~grant_valid || (requests[grant_index] != 0)), ("invalid arbiter grant!"))
`RUNTIME_ASSERT ((~(| requests) || (grant_valid && (requests[grant_index] != 0) && (grant_onehot == (NUM_REQS'(1) << grant_index)))), ("invalid arbiter grant!"))
endmodule
`TRACING_ON