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.