!!!!    6    0    1  974795335  V9743                                         

! Device           : 74H87
! Function         : True/Complement,zero/one totem 4_bit
! revision         : B.01.00
! safeguard        : standard_httl
! Modifications    : Modified for AwareTest xi
!
  warning           "This library has not been verified with hardware."

combinatorial

assign VCC       to pins 14
assign GND       to pins  7

assign Inputs    to pins  8,1,2,5,10,13
assign Outputs   to pins  3,6,9,12

assign NC        to pins  11,4

power   VCC, GND

family  TTL

inputs   Inputs
outputs  Outputs

trace Outputs  to Inputs

nondigital  NC

!***************************************************************************
!***************************************************************************

vector   Input_11XXXX
     set  Inputs   to "11XXXX"
     set  Outputs  to "0000"
end vector

vector   Input_101XXX
     set  Inputs   to "101XXX"
     set  Outputs  to "1111"
end vector

vector   Input_10X1XX
     set  Inputs   to "10X1XX"
     set  Outputs  to "1111"
end vector

vector   Input_10XX1X
     set  Inputs   to "10XX1X"
     set  Outputs  to "1111"
end vector

vector   Input_10XXX1
     set  Inputs   to "10XXX1"
     set  Outputs  to "1111"
end vector

vector   Input_010000
     set  Inputs   to "010000"
     set  Outputs  to "0000"
end vector

vector   Input_010001
     set  Inputs   to "010001"
     set  Outputs  to "0001"
end vector

vector   Input_010010
     set  Inputs   to "010010"
     set  Outputs  to "0010"
end vector

vector   Input_010011
     set  Inputs   to "010011"
     set  Outputs  to "0011"
end vector

vector   Input_010100
     set  Inputs   to "010100"
     set  Outputs  to "0100"
end vector

vector   Input_010101
     set  Inputs   to "010101"
     set  Outputs  to "0101"
end vector

vector   Input_010110
     set  Inputs   to "010110"
     set  Outputs  to "0110"
end vector

vector   Input_010111
     set  Inputs   to "010111"
     set  Outputs  to "0111"
end vector

vector   Input_011000
     set  Inputs   to "011000"
     set  Outputs  to "1000"
end vector

vector   Input_011001
     set  Inputs   to "011001"
     set  Outputs  to "1001"
end vector

vector   Input_011010
     set  Inputs   to "011010"
     set  Outputs  to "1010"
end vector

vector   Input_011011
     set  Inputs   to "011011"
     set  Outputs  to "1011"
end vector

vector   Input_011100
     set  Inputs   to "011100"
     set  Outputs  to "1100"
end vector

vector   Input_011101
     set  Inputs   to "011101"
     set  Outputs  to "1101"
end vector

vector   Input_011110
     set  Inputs   to "011110"
     set  Outputs  to "1110"
end vector

vector   Input_011111
     set  Inputs   to "011111"
     set  Outputs  to "1111"
end vector

vector   Input_000000
     set  Inputs   to "000000"
     set  Outputs  to "1111"
end vector

vector   Input_000001
     set  Inputs   to "000001"
     set  Outputs  to "1110"
end vector

vector   Input_000010
     set  Inputs   to "000010"
     set  Outputs  to "1101"
end vector

vector   Input_000011
     set  Inputs   to "000011"
     set  Outputs  to "1100"
end vector

vector   Input_000100
     set  Inputs   to "000100"
     set  Outputs  to "1011"
end vector

vector   Input_000101
     set  Inputs   to "000101"
     set  Outputs  to "1010"
end vector

vector   Input_000110
     set  Inputs   to "000110"
     set  Outputs  to "1001"
end vector

vector   Input_000111
     set  Inputs   to "000111"
     set  Outputs  to "1000"
end vector

vector   Input_001000
     set  Inputs   to "001000"
     set  Outputs  to "0111"
end vector

vector   Input_001001
     set  Inputs   to "001001"
     set  Outputs  to "0110"
end vector

vector   Input_001010
     set  Inputs   to "001010"
     set  Outputs  to "0101"
end vector

vector   Input_001011
     set  Inputs   to "001011"
     set  Outputs  to "0100"
end vector

vector   Input_001100
     set  Inputs   to "001100"
     set  Outputs  to "0011"
end vector

vector   Input_001101
     set  Inputs   to "001101"
     set  Outputs  to "0010"
end vector

vector   Input_001110
     set  Inputs   to "001110"
     set  Outputs  to "0001"
end vector

vector   Input_001111
     set  Inputs   to "001111"
     set  Outputs  to "0000"
end vector

!***************************************************************************
!***************************************************************************

unit "awaretest All output 1XXX"      !AT Added this unit
     execute   Input_11XXXX           !AT Added a new execute
     execute   Input_101XXX           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest All output X1XX"      !AT Added this unit
     execute   Input_11XXXX           !AT Added a new execute
     execute   Input_10X1XX           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest All output XX1X"      !AT Added this unit
     execute   Input_11XXXX           !AT Added a new execute
     execute   Input_10XX1X           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest All output XXX1"      !AT Added this unit
     execute   Input_11XXXX           !AT Added a new execute
     execute   Input_10XXX1           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 0001"        !AT Added this unit
     execute   Input_010000           !AT Added a new execute
     execute   Input_010001           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 0010"        !AT Added this unit
     execute   Input_010000           !AT Added a new execute
     execute   Input_010010           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 0100"        !AT Added this unit
     execute   Input_010000           !AT Added a new execute
     execute   Input_010100           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 1000"        !AT Added this unit
     execute   Input_010000           !AT Added a new execute
     execute   Input_011000           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 1110"        !AT Added this unit
     execute   Input_000000           !AT Added a new execute
     execute   Input_000001           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 1101"        !AT Added this unit
     execute   Input_000000           !AT Added a new execute
     execute   Input_000010           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 1011"        !AT Added this unit
     execute   Input_000000           !AT Added a new execute
     execute   Input_000100           !AT Added a new execute
end unit                              !AT Added a new "end unit"

unit "awaretest 1 output 0111"        !AT Added this unit
     execute   Input_000000           !AT Added a new execute
     execute   Input_001000           !AT Added a new execute
end unit                              !AT Added a new "end unit"


! Vectors applied in graycode type of sequence to reduce transients.
! Device tested with full truth table set of patterns.

unit  "Test device 74H87"
      execute   Input_11XXXX
      execute   Input_101XXX
      execute   Input_10X1XX
      execute   Input_10XX1X
      execute   Input_10XXX1
      execute   Input_010000
      execute   Input_010001
      execute   Input_010011
      execute   Input_010010
      execute   Input_010110
      execute   Input_010111
      execute   Input_010100
      execute   Input_011101
      execute   Input_011111
      execute   Input_011110
      execute   Input_011010
      execute   Input_011001
      execute   Input_011000
      execute   Input_010000
      execute   Input_001110
      execute   Input_001001
      execute   Input_001000
      execute   Input_001011
      execute   Input_000011
      execute   Input_000010
      execute   Input_000000
      execute   Input_000001
      execute   Input_000101
      execute   Input_000011
      execute   Input_000110
      execute   Input_000111
end unit

!    End of Test