(-- 
   Arbiter for EXch and MEMch 
   'Arb1.balsa'
--)

import[type]

procedure Mux1 (input PIDRd : CHRd;
                input CIDRd : RegNo;
                output IDRd : CHRd) 
is 
begin
    loop
      select PIDRd then IDRd <- PIDRd
      |       CIDRd then IDRd <- {0, CIDRd}
      end
    end
end
