tb_bit_pipeline_adder.ant

Self timed pipelined adder

--------------------------------------------------------------------------------
-- Copyright (c) 1995-2003 Xilinx, Inc.
-- All Right Reserved.
--------------------------------------------------------------------------------
--   ____  ____ 
--  /   /\/   / 
-- /___/  \  /    Vendor: Xilinx 
-- \   \   \/     Version : 8.1i
--  \   \         Application : ISE
--  /   /         Filename : TB_Bit_Pipeline_Adder.ant
-- /___/   /\     Timestamp : Fri May 19 23:16:52 2006
-- \   \  /  \ 
--  \___\/\___\ 
--
--Command: 
--Design Name: TB_Bit_Pipeline_Adder
--Device: Xilinx
--

library IEEE;
use IEEE.STD_LOGIC_1164.ALL;
use IEEE.STD_LOGIC_ARITH.ALL;
use IEEE.STD_LOGIC_UNSIGNED.ALL;
USE IEEE.STD_LOGIC_TEXTIO.ALL;
USE STD.TEXTIO.ALL;

ENTITY TB_Bit_Pipeline_Adder IS
END TB_Bit_Pipeline_Adder;

ARCHITECTURE testbench_arch OF TB_Bit_Pipeline_Adder IS
    FILE RESULTS: TEXT OPEN WRITE_MODE IS "C:\Documents and Settings\People\Desktop\VLSIASS2\TB_Bit_Pipeline_Adder.ano";

    COMPONENT Bit_Pipeline_Adder
        PORT (
            InputA : In std_logic;
            InputB : In std_logic;
            Req : In std_logic;
            Output : Out std_logic;
            Carry_Out : Out std_logic;
            Carry_In : In std_logic;
            Done : Out std_logic;
            RecAck : In std_logic;
            SendAck : Out std_logic;
            Reset : In std_logic
        );
    END COMPONENT;

    SIGNAL InputA : std_logic := '0';
    SIGNAL InputB : std_logic := '0';
    SIGNAL Req : std_logic := '0';
    SIGNAL Output : std_logic := 'U';
    SIGNAL Carry_Out : std_logic := 'U';
    SIGNAL Carry_In : std_logic := '0';
    SIGNAL Done : std_logic := 'U';
    SIGNAL RecAck : std_logic := '0';
    SIGNAL SendAck : std_logic := 'U';
    SIGNAL Reset : std_logic := '1';

    SHARED VARIABLE TX_ERROR : INTEGER := 0;
    SHARED VARIABLE TX_OUT : LINE;

    BEGIN
        UUT : Bit_Pipeline_Adder
        PORT MAP (
            InputA => InputA,
            InputB => InputB,
            Req => Req,
            Output => Output,
            Carry_Out => Carry_Out,
            Carry_In => Carry_In,
            Done => Done,
            RecAck => RecAck,
            SendAck => SendAck,
            Reset => Reset
        );

        PROCESS    -- Annotation process
            VARIABLE TX_TIME : INTEGER := 0;

            PROCEDURE ANNOTATE_Output(
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
            BEGIN
                STD.TEXTIO.write(TX_LOC, string'("Annotate["));
                STD.TEXTIO.write(TX_LOC, TX_TIME);
                STD.TEXTIO.write(TX_LOC, string'(", Output, "));
                IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, Output);
                STD.TEXTIO.write(TX_LOC, string'("]"));
                TX_STR(TX_LOC.all'range) := TX_LOC.all;
                STD.TEXTIO.writeline(RESULTS, TX_LOC);
                STD.TEXTIO.Deallocate(TX_LOC);
            END;
            PROCEDURE ANNOTATE_Carry_Out(
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
            BEGIN
                STD.TEXTIO.write(TX_LOC, string'("Annotate["));
                STD.TEXTIO.write(TX_LOC, TX_TIME);
                STD.TEXTIO.write(TX_LOC, string'(", Carry_Out, "));
                IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, Carry_Out);
                STD.TEXTIO.write(TX_LOC, string'("]"));
                TX_STR(TX_LOC.all'range) := TX_LOC.all;
                STD.TEXTIO.writeline(RESULTS, TX_LOC);
                STD.TEXTIO.Deallocate(TX_LOC);
            END;
            PROCEDURE ANNOTATE_Done(
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
            BEGIN
                STD.TEXTIO.write(TX_LOC, string'("Annotate["));
                STD.TEXTIO.write(TX_LOC, TX_TIME);
                STD.TEXTIO.write(TX_LOC, string'(", Done, "));
                IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, Done);
                STD.TEXTIO.write(TX_LOC, string'("]"));
                TX_STR(TX_LOC.all'range) := TX_LOC.all;
                STD.TEXTIO.writeline(RESULTS, TX_LOC);
                STD.TEXTIO.Deallocate(TX_LOC);
            END;
            PROCEDURE ANNOTATE_SendAck(
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
            BEGIN
                STD.TEXTIO.write(TX_LOC, string'("Annotate["));
                STD.TEXTIO.write(TX_LOC, TX_TIME);
                STD.TEXTIO.write(TX_LOC, string'(", SendAck, "));
                IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, SendAck);
                STD.TEXTIO.write(TX_LOC, string'("]"));
                TX_STR(TX_LOC.all'range) := TX_LOC.all;
                STD.TEXTIO.writeline(RESULTS, TX_LOC);
                STD.TEXTIO.Deallocate(TX_LOC);
            END;
        BEGIN
            WAIT for 1 fs;
            ANNOTATE_Output(0);
            ANNOTATE_Carry_Out(0);
            ANNOTATE_Done(0);
            ANNOTATE_SendAck(0);
            ANNO_LOOP : LOOP
                WAIT for 50 ns;
                TX_TIME := TX_TIME + 50;
                ANNOTATE_Output(TX_TIME);
                ANNOTATE_Carry_Out(TX_TIME);
                ANNOTATE_Done(TX_TIME);
                ANNOTATE_SendAck(TX_TIME);
                WAIT for 50 ns;
                TX_TIME := TX_TIME + 50;
            END LOOP ANNO_LOOP;
        END PROCESS;

        PROCESS
            BEGIN
                -- -------------  Current Time:  100ns
                WAIT FOR 100 ns;
                Reset <= '0';
                -- -------------------------------------
                -- -------------  Current Time:  300ns
                WAIT FOR 200 ns;
                InputA <= '1';
                Req <= '1';
                -- -------------------------------------
                WAIT FOR 700 ns;

                STD.TEXTIO.write(TX_OUT, string'("Total[]"));
                STD.TEXTIO.writeline(RESULTS, TX_OUT);
                ASSERT (FALSE) REPORT
                    "Success! Simulation for annotation completed"
                    SEVERITY FAILURE;
            END PROCESS;

    END testbench_arch;