-- Código de test del Full Adder

Entity fullAdderTest is --No se necesita especifcación de E/S
end;

Architecture test of fullAdderTest is

-- Declaración del componente de test
Component fullAdder
port (

a, b, c: in bit;
s, cout: out bit);

end component;

--declaración de señales internas
signal a, b, c: bit := '0'; --Inicialización de las señales a 0
signal s, cout: bit;

-- Llamada del componente. Formato: <etiqueta>: <nombre> port map (<lista entrada/salida>);
dut: fullAdder port map (a=>a, b=>b, c=>c, s=>s, cout=>cout);

-- Variación temporal de las señales (a, b en formato señal de reloj)
a <= not (a) after 1 ns;
b <= not (b) after 2 ns;
c <= '0', '1' after 4 ns, '0' after 8 ns, '1' after 9 ns;

end;