--------------------------------------------------------------------------------
--
-- AMD 2910 Benchmark (Functional blocks) (Algorithmic Behaviour of Funct blocks)
--
-- Source:  AMD data book
--
--------------------------------------------------------------------------------

library l2901_lib;
use l2901_lib.types.all;
use l2901_lib.MVL7_functions.all;
use l2901_lib.synthesis_types.all;

entity E is
end;

architecture AA of E is
	component cmux
	   port (
	R_sel : in MVL7;
	D_sel : in MVL7;
      uPC_sel : in MVL7;
    stack_sel : in MVL7;
       OEBAR : in MVL7;
	   sp : in INTEGER range 0 to 5;
            D : in MVL7_VECTOR(11 downto 0);
           RE : in MVL7_VECTOR(11 downto 0);
          uPC : in MVL7_VECTOR(11 downto 0);
            Y : out MVL7_VECTOR(11 downto 0)
		);
	end component;
									
    signal R_sel :  MVL7;
    signal D_sel :  MVL7;
  signal uPC_sel :  MVL7;
signal stack_sel :  MVL7;
    signal OEBAR :  MVL7;
       signal sp :  INTEGER range 0 to 5;
        signal D :  MVL7_VECTOR(11 downto 0);
       signal RE :  MVL7_VECTOR(11 downto 0);
      signal uPC :  MVL7_VECTOR(11 downto 0);
        signal Y :  MVL7_VECTOR(11 downto 0);

for all : cmux use entity work.multiplexer(multiplexer);

begin

CMUX1 : cmux port map(
	R_sel,
	D_sel,
      uPC_sel,
    stack_sel,
        OEBAR,
	   sp,
            D,
           RE,
          uPC,
            Y
);

process

begin

---------------------

R_sel <= '1';
 
D_sel <= '0';

uPC_sel <= '0';

stack_sel <= '0';

OEBAR <= '0';

sp <= 2;

RE <= "000000000000";

D <= "111111111111";

uPC <= "111111111111";

wait for 1 ns;

assert (Y = "000000000000")
report
"Assert 0 : < Y /= 000000000000 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '1';
 
D_sel <= '0';

uPC_sel <= '0';

stack_sel <= '0';

OEBAR <= '0';

sp <= 1;

RE <= "111111111111";

D <= "000000000000";

uPC <= "000000000000";

wait for 1 ns;

assert (Y = "111111111111")
report
"Assert 1 : < Y /= 111111111111 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '1';

uPC_sel <= '0';

stack_sel <= '0';

OEBAR <= '0';

sp <= 2;

RE <= "111111111111";

D <= "000000000000";

uPC <= "111111111111";

wait for 1 ns;

assert (Y = "000000000000")
report
"Assert 2 : < Y /= 000000000000 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '1';

uPC_sel <= '0';

stack_sel <= '0';

OEBAR <= '0';

sp <= 1;

RE <= "000000000000";

D <= "111111111111";

uPC <= "000000000000";

wait for 1 ns;

assert (Y = "111111111111")
report
"Assert 3 : < Y /= 111111111111 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '0';

uPC_sel <= '1';

stack_sel <= '0';

OEBAR <= '0';

sp <= 2;

RE <= "111111111111";

D <= "111111111111";

uPC <= "000000000000";

wait for 1 ns;

assert (Y = "000000000000")
report
"Assert 4 : < Y /= 000000000000 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '0';

uPC_sel <= '1';

stack_sel <= '0';

OEBAR <= '0';

sp <= 1;

RE <= "000000000000";

D <= "000000000000";

uPC <= "111111111111";

wait for 1 ns;

assert (Y = "111111111111")
report
"Assert 5 : < Y /= 111111111111 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '0';

uPC_sel <= '1';

stack_sel <= '0';

OEBAR <= '0';

sp <= 1;

RE <= "111111111111";

D <= "111111111111";

uPC <= "000000000000";

wait for 1 ns;

assert (Y = "000000000000")
report
"Assert 6 : < Y /= 000000000000 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '0';

uPC_sel <= '1';

stack_sel <= '0';

OEBAR <= '0';

sp <= 2;

RE <= "000000000000";

D <= "000000000000";

uPC <= "111111111111";

wait for 1 ns;

assert (Y = "111111111111")
report
"Assert 7 : < Y /= 111111111111 >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '1';

uPC_sel <= '0';

stack_sel <= '0';

OEBAR <= '1';

sp <= 2;

RE <= "111111111111";

D <= "000000000000";

uPC <= "111111111111";

wait for 1 ns;

assert (Y = "ZZZZZZZZZZZZ")
report
"Assert 8 : < Y /= ZZZZZZZZZZZZ >" 
severity warning;

wait for 1 ns;

---------------------

R_sel <= '0';
 
D_sel <= '1';

uPC_sel <= '0';

stack_sel <= '0';

OEBAR <= '1';

sp <= 1;

RE <= "000000000000";

D <= "111111111111";

uPC <= "000000000000";

wait for 1 ns;

assert (Y = "ZZZZZZZZZZZZ")
report
"Assert 9 : < Y /= ZZZZZZZZZZZZ >" 
severity warning;

wait for 1 ns;

assert false
report "---End of Simulation---"
severity error;

---------------------

end process;

end AA;