Two devices request a shared bus. Grant it to at most one of them: device 0 has priority, so when both request, only grant0 is asserted; device 1 is granted only when it requests and device 0 does not. No request, no grant.

Inputs: req0, req1.
Outputs: grant0, grant1.

The testbench applies all four combinations.