(Hard) Arbiter Test Plan - Meta

Write a comprehensive test plan for 2x2 switch arbiter. Which System Verilog constructs would you use, how would you determine when verification is sufficient, and what are key corner cases?