ENTITY arbtest IS END arbtest;
--
ARCHITECTURE io OF arbtest IS
  USE WORK.waiting.ALL;
  CONSTANT source_delays : wait_array := (12, 10, 9, 14);
  SIGNAL clk : BIT;
  SIGNAL r, g : BIT_VECTOR (3 DOWNTO 0);
  CONSTANT t : TIME := 1 US;
BEGIN
  arb : ENTITY WORK.arbitrator (behavioral)
    GENERIC MAP (wait_states => (3 => 0, 2 => 1, 1 => 2, 0 => 3), clock_period => t)
    PORT MAP (r, g, clk);
  clk <= NOT clk AFTER t / 2 WHEN NOW < 40 US ELSE clk;
  sources : FOR i IN  r'RANGE GENERATE
    PROCESS
    BEGIN
      WAIT FOR source_delays (i) * 1 US;
      r(i) <= '1';
      WAIT UNTIL g(i) = '1';
      WAIT UNTIL clk = '0';
      r(i) <= '0';
    END PROCESS;
  END GENERATE;
--r <= (r1, r2, r3, r4);
--(g1, g2, g3, g4) <= g;
END io;

ENTITY detector_m IS  PORT (x,clk : IN BIT; z : OUT BIT);  END detector_m;
--
ARCHITECTURE multiple_moore_machine_1 OF detector_m IS
  FUNCTION oring( drivers : BIT_VECTOR) RETURN BIT IS
    VARIABLE accumulate : BIT := '0';
  BEGIN
    FOR i IN drivers'RANGE LOOP
      accumulate := accumulate OR drivers(i);
    END LOOP;
    RETURN accumulate;
  END oring;
  SUBTYPE ored_bit IS oring BIT;
  TYPE ored_bit_vector IS ARRAY (NATURAL RANGE <>) OF ored_bit; 
  TYPE next_table IS ARRAY (1 TO 6, BIT) OF INTEGER;
  TYPE out_table IS ARRAY (1 TO 6, BIT) OF BIT;
  -- Fill in next_val,  out_val, and s arrays
  SIGNAL o : ored_bit REGISTER;
BEGIN
  clocking : BLOCK (clk = '1' AND (NOT clk'STABLE))
  BEGIN 
    g: FOR i IN s'RANGE GENERATE
      si: BLOCK (s(i) = '1' AND GUARD)
      BEGIN
        s(next_val(i,'0')) <= GUARDED '1' WHEN x='0' ELSE '0';
        s(next_val(i,'1')) <= GUARDED '1' WHEN x='1' ELSE '0';      
        o <= GUARDED out_val(i, x);
      END BLOCK si;
    s (i) <= GUARDED '0';    
    END GENERATE;
  END BLOCK clocking;
  z <= o;
END multiple_moore_machine_1;