-- FILE: x_or.ads
-- DATE: 7/98
-- AUTHOR: Sy Wong
-- AIM: Specification for exclusive or function

with UTILITY, 
     HDL, 
     X_OR, 
     TEXT_IO;
procedure test_xor is
  d: X_OR.device;
begin
  TEXT_IO.put_line ("a       b       xor");
  for i in FALSE..TRUE
  loop
    d.input1:= i;
    for j in FALSE..TRUE
    loop
        d.input2:= j;
        UTILITY.put(d.input1);
        UTILITY.put(d.input2);
        X_OR.update(d);
        UTILITY.put(d.data_out);
        TEXT_IO.new_line;
    end loop;
  end loop;
end test_xor;