tb_hand_shake.vhw

Self timed pipelined adder

--------------------------------------------------------------------------------
-- Copyright (c) 1995-2003 Xilinx, Inc.
-- All Right Reserved.
--------------------------------------------------------------------------------
--   ____  ____ 
--  /   /\/   / 
-- /___/  \  /    Vendor: Xilinx 
-- \   \   \/     Version : 8.1i
--  \   \         Application : ISE
--  /   /         Filename : TB_Hand_Shake.vhw
-- /___/   /\     Timestamp : Fri May 19 23:12:34 2006
-- \   \  /  \ 
--  \___\/\___\ 
--
--Command: 
--Design Name: TB_Hand_Shake
--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_Hand_Shake IS
END TB_Hand_Shake;

ARCHITECTURE testbench_arch OF TB_Hand_Shake IS
    FILE RESULTS: TEXT OPEN WRITE_MODE IS "results.txt";

    COMPONENT Hand_Shake
        PORT (
            Req : In std_logic;
            Send_Ack : Out std_logic;
            En : Out std_logic;
            Start : Out std_logic;
            Reset : In std_logic;
            Rec_Ack : In std_logic
        );
    END COMPONENT;

    SIGNAL Req : std_logic := '0';
    SIGNAL Send_Ack : std_logic := 'U';
    SIGNAL En : std_logic := 'U';
    SIGNAL Start : std_logic := 'U';
    SIGNAL Reset : std_logic := '1';
    SIGNAL Rec_Ack : std_logic := '0';

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

    BEGIN
        UUT : Hand_Shake
        PORT MAP (
            Req => Req,
            Send_Ack => Send_Ack,
            En => En,
            Start => Start,
            Reset => Reset,
            Rec_Ack => Rec_Ack
        );

        PROCESS
            PROCEDURE CHECK_En(
                next_En : std_logic;
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
                BEGIN
                IF (En /= next_En) THEN
                    STD.TEXTIO.write(TX_LOC, string'("Error at time="));
                    STD.TEXTIO.write(TX_LOC, TX_TIME);
                    STD.TEXTIO.write(TX_LOC, string'("ns En="));
                    IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, En);
                    STD.TEXTIO.write(TX_LOC, string'(", Expected = "));
                    IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, next_En);
                    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);
                    ASSERT (FALSE) REPORT TX_STR SEVERITY ERROR;
                    TX_ERROR := TX_ERROR + 1;
                END IF;
            END;
            PROCEDURE CHECK_Send_Ack(
                next_Send_Ack : std_logic;
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
                BEGIN
                IF (Send_Ack /= next_Send_Ack) THEN
                    STD.TEXTIO.write(TX_LOC, string'("Error at time="));
                    STD.TEXTIO.write(TX_LOC, TX_TIME);
                    STD.TEXTIO.write(TX_LOC, string'("ns Send_Ack="));
                    IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, Send_Ack);
                    STD.TEXTIO.write(TX_LOC, string'(", Expected = "));
                    IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, next_Send_Ack);
                    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);
                    ASSERT (FALSE) REPORT TX_STR SEVERITY ERROR;
                    TX_ERROR := TX_ERROR + 1;
                END IF;
            END;
            PROCEDURE CHECK_Start(
                next_Start : std_logic;
                TX_TIME : INTEGER
            ) IS
                VARIABLE TX_STR : String(1 to 4096);
                VARIABLE TX_LOC : LINE;
                BEGIN
                IF (Start /= next_Start) THEN
                    STD.TEXTIO.write(TX_LOC, string'("Error at time="));
                    STD.TEXTIO.write(TX_LOC, TX_TIME);
                    STD.TEXTIO.write(TX_LOC, string'("ns Start="));
                    IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, Start);
                    STD.TEXTIO.write(TX_LOC, string'(", Expected = "));
                    IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, next_Start);
                    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);
                    ASSERT (FALSE) REPORT TX_STR SEVERITY ERROR;
                    TX_ERROR := TX_ERROR + 1;
                END IF;
            END;
            BEGIN
                -- -------------  Current Time:  50ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('0', 50);
                CHECK_En('0', 50);
                CHECK_Start('0', 50);
                -- -------------------------------------
                -- -------------  Current Time:  100ns
                WAIT FOR 50 ns;
                Reset <= '0';
                -- -------------------------------------
                -- -------------  Current Time:  150ns
                WAIT FOR 50 ns;
                CHECK_Start('1', 150);
                -- -------------------------------------
                -- -------------  Current Time:  400ns
                WAIT FOR 250 ns;
                Req <= '1';
                Rec_Ack <= '1';
                -- -------------------------------------
                -- -------------  Current Time:  450ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('1', 450);
                CHECK_En('1', 450);
                CHECK_Start('0', 450);
                -- -------------------------------------
                -- -------------  Current Time:  1100ns
                WAIT FOR 650 ns;
                Rec_Ack <= '0';
                -- -------------------------------------
                -- -------------  Current Time:  1150ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('0', 1150);
                CHECK_En('0', 1150);
                CHECK_Start('1', 1150);
                -- -------------------------------------
                -- -------------  Current Time:  1800ns
                WAIT FOR 650 ns;
                Req <= '0';
                -- -------------------------------------
                -- -------------  Current Time:  1900ns
                WAIT FOR 100 ns;
                Rec_Ack <= '1';
                -- -------------------------------------
                -- -------------  Current Time:  1950ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('1', 1950);
                CHECK_En('1', 1950);
                CHECK_Start('0', 1950);
                -- -------------------------------------
                -- -------------  Current Time:  2600ns
                WAIT FOR 650 ns;
                Rec_Ack <= '0';
                -- -------------------------------------
                -- -------------  Current Time:  2650ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('0', 2650);
                CHECK_En('0', 2650);
                CHECK_Start('1', 2650);
                -- -------------------------------------
                -- -------------  Current Time:  3400ns
                WAIT FOR 750 ns;
                Rec_Ack <= '1';
                -- -------------------------------------
                -- -------------  Current Time:  3450ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('1', 3450);
                CHECK_En('1', 3450);
                CHECK_Start('0', 3450);
                -- -------------------------------------
                -- -------------  Current Time:  4200ns
                WAIT FOR 750 ns;
                Rec_Ack <= '0';
                -- -------------------------------------
                -- -------------  Current Time:  4250ns
                WAIT FOR 50 ns;
                CHECK_Send_Ack('0', 4250);
                CHECK_En('0', 4250);
                CHECK_Start('1', 4250);
                WAIT FOR 750 ns;

                IF (TX_ERROR = 0) THEN
                    STD.TEXTIO.write(TX_OUT, string'("No errors or warnings"));
                    STD.TEXTIO.writeline(RESULTS, TX_OUT);
                    ASSERT (FALSE) REPORT
                      "Simulation successful (not a failure).  No problems detected."
                      SEVERITY FAILURE;
                ELSE
                    STD.TEXTIO.write(TX_OUT, TX_ERROR);
                    STD.TEXTIO.write(TX_OUT,
                        string'(" errors found in simulation"));
                    STD.TEXTIO.writeline(RESULTS, TX_OUT);
                    ASSERT (FALSE) REPORT "Errors found during simulation"
                         SEVERITY FAILURE;
                END IF;
            END PROCESS;

    END testbench_arch;