-- FILE NAME:              waves_device_SN54LS112_.vhd
--
--                                   DISCLAIMER
--
--        This code is the sole property of the Institute for Technology
--        Development (ITD), Jackson, Mississippi, and is distributed for
--        the purpose of providing examples of VHDL models written to
--        modeling standards.  This code may not be used for commercial
--        purposes, and may not be redistributed without permission from
--        the Institute for Technology Development.  ITD assumes no 
--        responsibility for errors, omissions, uses made, or decisions
--        based on its use.  No warranties, expressed or implied, are given.
--
--        This is a modified IEEE WAVES package.  It was written specifically
--        to describe the test pins of the model being tested.
--
--        ------------------------------------------------------------------

library WAVES_STANDARD ;
use WAVES_STANDARD.Waves_Standard.all ;
package Waves_Device is

    type Test_Pins is ( TP_q1, TP_qb1, TP_q2, TP_qb2,
            TP_clk1, TP_j1, TP_k1, TP_pr1, TP_clr1,
            TP_clk2, TP_j2, TP_k2, TP_pr2, TP_clr2) ;

    constant Device_Id : String := "SN54LS112" ;

    type Direction_List is array
    (Integer'val(1) to Integer'val(Test_Pins'Pos(Test_Pins'High) + 1))
    of Direction ;

    constant Pin_Direction : Direction_List := (
    Test_Pins'Pos(TP_q1) + 1 to Test_Pins'Pos(TP_qb2) + 1 => RESPONSE,
    Test_Pins'Pos(TP_clk1) + 1 to Test_Pins'Pos(TP_clr2) + 1 => STIMULUS) ;

    function Pin_Name (Pin : Test_Pins) return String;
    
    constant Num_Lines : Integer := 5;  -- the number of lines in the header

    function header (input : Integer) return String ;

end Waves_Device ;