Entity Statements

  ENTITY multiplexor IS
          PORT (a, b: IN BIT; select: IN BIT; output: OUT BIT);
  BEGIN
        check: PROCESS(a, b)
        BEGIN
              ASSERT a/=b REPORT "a equals b" SEVERITY NOTE;
        END PROCESS;
  END multiplexor;