-- Copyright (C) 2001 Bill Billowitch.
-- Some of the work to develop this test suite was done with Air Force
-- support. The Air Force and Bill Billowitch assume no
-- responsibilities for this software.
-- This file is part of VESTs (Vhdl tESTs).
-- VESTs is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the
-- Free Software Foundation; either version 2 of the License, or (at
-- your option) any later version.
-- VESTs is distributed in the hope that it will be useful, but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-- for more details.
-- You should have received a copy of the GNU General Public License
-- along with VESTs; if not, write to the Free Software Foundation,
-- Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
-- ---------------------------------------------------------------------
--
-- $Id: tc2737.vhd,v 1.2 2001-10-26 16:29:49 paw Exp $
-- $Revision: 1.2 $
--
-- ---------------------------------------------------------------------
ENTITY c13s06b00x00p03n01i02737ent IS
END c13s06b00x00p03n01i02737ent;
ARCHITECTURE c13s06b00x00p03n01i02737arch OF c13s06b00x00p03n01i02737ent IS
constant s01: string:="A "; -- 1
constant s02: string:="B "; -- 2
constant s03: string:="C "; -- 3
constant s04: string:="D "; -- 4
constant s05: string:="E "; -- 5
constant s06: string:="F "; -- 6
constant s07: string:="G "; -- 7
constant s08: string:="H "; -- 8
constant s09: string:="I "; -- 9
constant s10: string:="J "; -- 10
constant s11: string:="K "; -- 11
constant s12: string:="L "; -- 12
constant s13: string:="M "; -- 13
constant s14: string:="N "; -- 14
constant s15: string:="O "; -- 15
constant s16: string:="P "; -- 16
constant s17: string:="Q "; -- 17
constant s18: string:="R "; -- 18
constant s19: string:="S "; -- 19
constant s20: string:="T "; -- 20
constant s21: string:="U "; -- 21
constant s22: string:="V "; -- 22
constant s23: string:="W "; -- 23
constant s24: string:="X "; -- 24
constant s25: string:="Y "; -- 25
constant s26: string:="Z "; -- 26
constant s27: string:="0 "; -- 27
constant s28: string:="1 "; -- 28
constant s29: string:="2 "; -- 29
constant s30: string:="3 "; -- 30
constant s31: string:="4 "; -- 31
constant s32: string:="5 "; -- 32
constant s33: string:="6 "; -- 33
constant s34: string:="7 "; -- 34
constant s35: string:="8 "; -- 35
constant s36: string:="9 "; -- 36
constant s37: string:=""" "; -- 37
constant s38: string:="# "; -- 38
constant s39: string:="& "; -- 39
constant s40: string:="' "; -- 40
constant s41: string:="( "; -- 41
constant s42: string:=") "; -- 42
constant s43: string:="* "; -- 43
constant s44: string:="+ "; -- 44
constant s45: string:=", "; -- 45
constant s46: string:="- "; -- 46
constant s47: string:=". "; -- 47
constant s48: string:="/ "; -- 48
constant s49: string:=": "; -- 49
constant s50: string:="; "; -- 50
constant s51: string:="< "; -- 51
constant s52: string:="= "; -- 52
constant s53: string:="> "; -- 53
constant s54: string:="_ "; -- 54
constant s55: string:="| "; -- 55
constant s56: string:=" "; -- 56
constant s57: string:="a "; -- 57
constant s58: string:="b "; -- 58
constant s59: string:="c "; -- 59
constant s60: string:="d "; -- 60
constant s61: string:="e "; -- 61
constant s62: string:="f "; -- 62
constant s63: string:="g "; -- 63
constant s64: string:="h "; -- 64
constant s65: string:="i "; -- 65
constant s66: string:="j "; -- 66
constant s67: string:="k "; -- 67
constant s68: string:="l "; -- 68
constant s69: string:="m "; -- 69
constant s70: string:="n "; -- 70
constant s71: string:="o "; -- 71
constant s72: string:="p "; -- 72
constant s73: string:="q "; -- 73
constant s74: string:="r "; -- 74
constant s75: string:="s "; -- 75
constant s76: string:="t "; -- 76
constant s77: string:="u "; -- 77
constant s78: string:="v "; -- 78
constant s79: string:="w "; -- 79
constant s80: string:="x "; -- 80
constant s81: string:="y "; -- 81
constant s82: string:="z "; -- 82
constant s83: string:="! "; -- 83
constant s84: string:="$ "; -- 84
constant s85: string:="% "; -- 85
constant s86: string:="@ "; -- 86
constant s87: string:="? "; -- 87
constant s88: string:="[ "; -- 88
constant s89: string:="\ "; -- 89
constant s90: string:="] "; -- 90
constant s91: string:="^ "; -- 91
constant s92: string:="` "; -- 92
constant s93: string:="{ "; -- 93
constant s94: string:="} "; -- 94
constant s95: string:="~ "; -- 95
------------------------------------------------------------
constant c01: string:=('A',' '); -- 1
constant c02: string:=('B',' '); -- 2
constant c03: string:=('C',' '); -- 3
constant c04: string:=('D',' '); -- 4
constant c05: string:=('E',' '); -- 5
constant c06: string:=('F',' '); -- 6
constant c07: string:=('G',' '); -- 7
constant c08: string:=('H',' '); -- 8
constant c09: string:=('I',' '); -- 9
constant c10: string:=('J',' '); -- 10
constant c11: string:=('K',' '); -- 11
constant c12: string:=('L',' '); -- 12
constant c13: string:=('M',' '); -- 13
constant c14: string:=('N',' '); -- 14
constant c15: string:=('O',' '); -- 15
constant c16: string:=('P',' '); -- 16
constant c17: string:=('Q',' '); -- 17
constant c18: string:=('R',' '); -- 18
constant c19: string:=('S',' '); -- 19
constant c20: string:=('T',' '); -- 20
constant c21: string:=('U',' '); -- 21
constant c22: string:=('V',' '); -- 22
constant c23: string:=('W',' '); -- 23
constant c24: string:=('X',' '); -- 24
constant c25: string:=('Y',' '); -- 25
constant c26: string:=('Z',' '); -- 26
constant c27: string:=('0',' '); -- 27
constant c28: string:=('1',' '); -- 28
constant c29: string:=('2',' '); -- 29
constant c30: string:=('3',' '); -- 30
constant c31: string:=('4',' '); -- 31
constant c32: string:=('5',' '); -- 32
constant c33: string:=('6',' '); -- 33
constant c34: string:=('7',' '); -- 34
constant c35: string:=('8',' '); -- 35
constant c36: string:=('9',' '); -- 36
constant c37: string:=('"',' '); -- 37
constant c38: string:=('#',' '); -- 38
constant c39: string:=('&',' '); -- 39
constant c40: string:=(''',' '); -- 40
constant c41: string:=('(',' '); -- 41
constant c42: string:=(')',' '); -- 42
constant c43: string:=('*',' '); -- 43
constant c44: string:=('+',' '); -- 44
constant c45: string:=(',',' '); -- 45
constant c46: string:=('-',' '); -- 46
constant c47: string:=('.',' '); -- 47
constant c48: string:=('/',' '); -- 48
constant c49: string:=(':',' '); -- 49
constant c50: string:=(';',' '); -- 50
constant c51: string:=('<',' '); -- 51
constant c52: string:=('=',' '); -- 52
constant c53: string:=('>',' '); -- 53
constant c54: string:=('_',' '); -- 54
constant c55: string:=('|',' '); -- 55
constant c56: string:=(' ',' '); -- 56
constant c57: string:=('a',' '); -- 57
constant c58: string:=('b',' '); -- 58
constant c59: string:=('c',' '); -- 59
constant c60: string:=('d',' '); -- 60
constant c61: string:=('e',' '); -- 61
constant c62: string:=('f',' '); -- 62
constant c63: string:=('g',' '); -- 63
constant c64: string:=('h',' '); -- 64
constant c65: string:=('i',' '); -- 65
constant c66: string:=('j',' '); -- 66
constant c67: string:=('k',' '); -- 67
constant c68: string:=('l',' '); -- 68
constant c69: string:=('m',' '); -- 69
constant c70: string:=('n',' '); -- 70
constant c71: string:=('o',' '); -- 71
constant c72: string:=('p',' '); -- 72
constant c73: string:=('q',' '); -- 73
constant c74: string:=('r',' '); -- 74
constant c75: string:=('s',' '); -- 75
constant c76: string:=('t',' '); -- 76
constant c77: string:=('u',' '); -- 77
constant c78: string:=('v',' '); -- 78
constant c79: string:=('w',' '); -- 79
constant c80: string:=('x',' '); -- 80
constant c81: string:=('y',' '); -- 81
constant c82: string:=('z',' '); -- 82
constant c83: string:=('!',' '); -- 83
constant c84: string:=('$',' '); -- 84
constant c85: string:=('%',' '); -- 85
constant c86: string:=('@',' '); -- 86
constant c87: string:=('?',' '); -- 87
constant c88: string:=('[',' '); -- 88
constant c89: string:=('\',' '); -- 89
constant c90: string:=(']',' '); -- 90
constant c91: string:=('^',' '); -- 91
constant c92: string:=('`',' '); -- 92
constant c93: string:=('{',' '); -- 93
constant c94: string:=('}',' '); -- 94
constant c95: string:=('~',' '); -- 95
BEGIN
TESTING: PROCESS
variable k : integer := 0;
BEGIN
assert (s01=c01) report "problem with 1 - 'A' " severity failure;
assert (s02=c02) report "problem with 2 - 'B' " severity failure;
assert (s03=c03) report "problem with 3 - 'C' " severity failure;
assert (s04=c04) report "problem with 4 - 'D' " severity failure;
assert (s05=c05) report "problem with 5 - 'E' " severity failure;
assert (s06=c06) report "problem with 6 - 'F' " severity failure;
assert (s07=c07) report "problem with 7 - 'G' " severity failure;
assert (s08=c08) report "problem with 8 - 'H' " severity failure;
assert (s09=c09) report "problem with 9 - 'I' " severity failure;
assert (s10=c10) report "problem with 10 - 'J' " severity failure;
assert (s11=c11) report "problem with 11 - 'K' " severity failure;
assert (s12=c12) report "problem with 12 - 'L' " severity failure;
assert (s13=c13) report "problem with 13 - 'M' " severity failure;
assert (s14=c14) report "problem with 14 - 'N' " severity failure;
assert (s15=c15) report "problem with 15 - 'O' " severity failure;
assert (s16=c16) report "problem with 16 - 'P' " severity failure;
assert (s17=c17) report "problem with 17 - 'Q' " severity failure;
assert (s18=c18) report "problem with 18 - 'R' " severity failure;
assert (s19=c19) report "problem with 19 - 'S' " severity failure;
assert (s20=c20) report "problem with 20 - 'T' " severity failure;
assert (s21=c21) report "problem with 21 - 'U' " severity failure;
assert (s22=c22) report "problem with 22 - 'V' " severity failure;
assert (s23=c23) report "problem with 23 - 'W' " severity failure;
assert (s24=c24) report "problem with 24 - 'X' " severity failure;
assert (s25=c25) report "problem with 25 - 'Y' " severity failure;
assert (s26=c26) report "problem with 26 - 'Z' " severity failure;
assert (s27=c27) report "problem with 27 - '0' " severity failure;
assert (s28=c28) report "problem with 28 - '1' " severity failure;
assert (s29=c29) report "problem with 29 - '2' " severity failure;
assert (s30=c30) report "problem with 30 - '3' " severity failure;
assert (s31=c31) report "problem with 31 - '4' " severity failure;
assert (s32=c32) report "problem with 32 - '5' " severity failure;
assert (s33=c33) report "problem with 33 - '6' " severity failure;
assert (s34=c34) report "problem with 34 - '7' " severity failure;
assert (s35=c35) report "problem with 35 - '8' " severity failure;
assert (s36=c36) report "problem with 36 - '9' " severity failure;
assert (s37=c37) report "problem with 37 - '""' " severity failure;
assert (s38=c38) report "problem with 38 - '#' " severity failure;
assert (s39=c39) report "problem with 39 - '&' " severity failure;
assert (s40=c40) report "problem with 40 - ''' " severity failure;
assert (s41=c41) report "problem with 41 - '(' " severity failure;
assert (s42=c42) report "problem with 42 - ')' " severity failure;
assert (s43=c43) report "problem with 43 - '*' " severity failure;
assert (s44=c44) report "problem with 44 - '+' " severity failure;
assert (s45=c45) report "problem with 45 - ',' " severity failure;
assert (s46=c46) report "problem with 46 - '-' " severity failure;
assert (s47=c47) report "problem with 47 - '.' " severity failure;
assert (s48=c48) report "problem with 48 - '/' " severity failure;
assert (s49=c49) report "problem with 49 - ':' " severity failure;
assert (s50=c50) report "problem with 50 - ';' " severity failure;
assert (s51=c51) report "problem with 51 - '<' " severity failure;
assert (s52=c52) report "problem with 52 - '=' " severity failure;
assert (s53=c53) report "problem with 53 - '>' " severity failure;
assert (s54=c54) report "problem with 54 - '_' " severity failure;
assert (s55=c55) report "problem with 55 - '|' " severity failure;
assert (s56=c56) report "problem with 56 - ' ' " severity failure;
assert (s57=c57) report "problem with 57 - 'a' " severity failure;
assert (s58=c58) report "problem with 58 - 'b' " severity failure;
assert (s59=c59) report "problem with 59 - 'c' " severity failure;
assert (s60=c60) report "problem with 60 - 'd' " severity failure;
assert (s61=c61) report "problem with 61 - 'e' " severity failure;
assert (s62=c62) report "problem with 62 - 'f' " severity failure;
assert (s63=c63) report "problem with 63 - 'g' " severity failure;
assert (s64=c64) report "problem with 64 - 'h' " severity failure;
assert (s65=c65) report "problem with 65 - 'i' " severity failure;
assert (s66=c66) report "problem with 66 - 'j' " severity failure;
assert (s67=c67) report "problem with 67 - 'k' " severity failure;
assert (s68=c68) report "problem with 68 - 'l' " severity failure;
assert (s69=c69) report "problem with 69 - 'm' " severity failure;
assert (s70=c70) report "problem with 70 - 'n' " severity failure;
assert (s71=c71) report "problem with 71 - 'o' " severity failure;
assert (s72=c72) report "problem with 72 - 'p' " severity failure;
assert (s73=c73) report "problem with 73 - 'q' " severity failure;
assert (s74=c74) report "problem with 74 - 'r' " severity failure;
assert (s75=c75) report "problem with 75 - 's' " severity failure;
assert (s76=c76) report "problem with 76 - 't' " severity failure;
assert (s77=c77) report "problem with 77 - 'u' " severity failure;
assert (s78=c78) report "problem with 78 - 'v' " severity failure;
assert (s79=c79) report "problem with 79 - 'w' " severity failure;
assert (s80=c80) report "problem with 80 - 'x' " severity failure;
assert (s81=c81) report "problem with 81 - 'y' " severity failure;
assert (s82=c82) report "problem with 82 - 'z' " severity failure;
assert (s83=c83) report "problem with 83 - '!' " severity failure;
assert (s84=c84) report "problem with 84 - '$' " severity failure;
assert (s85=c85) report "problem with 85 - '%' " severity failure;
assert (s86=c86) report "problem with 86 - '@' " severity failure;
assert (s87=c87) report "problem with 87 - '?' " severity failure;
assert (s88=c88) report "problem with 88 - '[' " severity failure;
assert (s89=c89) report "problem with 89 - '\' " severity failure;
assert (s90=c90) report "problem with 90 - ']' " severity failure;
assert (s91=c91) report "problem with 91 - '^' " severity failure;
assert (s92=c92) report "problem with 92 - '`' " severity failure;
assert (s93=c93) report "problem with 93 - '{' " severity failure;
assert (s94=c94) report "problem with 94 - '}' " severity failure;
assert (s95=c95) report "problem with 95 - '~' " severity failure;
assert NOT( (s01=c01) and
(s02=c02) and
(s03=c03) and
(s04=c04) and
(s05=c05) and
(s06=c06) and
(s07=c07) and
(s08=c08) and
(s09=c09) and
(s10=c10) and
(s11=c11) and
(s12=c12) and
(s13=c13) and
(s14=c14) and
(s15=c15) and
(s16=c16) and
(s17=c17) and
(s18=c18) and
(s19=c19) and
(s20=c20) and
(s21=c21) and
(s22=c22) and
(s23=c23) and
(s24=c24) and
(s25=c25) and
(s26=c26) and
(s27=c27) and
(s28=c28) and
(s29=c29) and
(s30=c30) and
(s31=c31) and
(s32=c32) and
(s33=c33) and
(s34=c34) and
(s35=c35) and
(s36=c36) and
(s37=c37) and
(s38=c38) and
(s39=c39) and
(s40=c40) and
(s41=c41) and
(s42=c42) and
(s43=c43) and
(s44=c44) and
(s45=c45) and
(s46=c46) and
(s47=c47) and
(s48=c48) and
(s49=c49) and
(s50=c50) and
(s51=c51) and
(s52=c52) and
(s53=c53) and
(s54=c54) and
(s55=c55) and
(s56=c56) and
(s57=c57) and
(s58=c58) and
(s59=c59) and
(s60=c60) and
(s61=c61) and
(s62=c62) and
(s63=c63) and
(s64=c64) and
(s65=c65) and
(s66=c66) and
(s67=c67) and
(s68=c68) and
(s69=c69) and
(s70=c70) and
(s71=c71) and
(s72=c72) and
(s73=c73) and
(s74=c74) and
(s75=c75) and
(s76=c76) and
(s77=c77) and
(s78=c78) and
(s79=c79) and
(s80=c80) and
(s81=c81) and
(s82=c82) and
(s83=c83) and
(s84=c84) and
(s85=c85) and
(s86=c86) and
(s87=c87) and
(s88=c88) and
(s89=c89) and
(s90=c90) and
(s91=c91) and
(s92=c92) and
(s93=c93) and
(s94=c94) and
(s95=c95) )
report "***PASSED TEST: c13s06b00x00p03n01i02737"
severity NOTE;
assert ( (s01=c01) and
(s02=c02) and
(s03=c03) and
(s04=c04) and
(s05=c05) and
(s06=c06) and
(s07=c07) and
(s08=c08) and
(s09=c09) and
(s10=c10) and
(s11=c11) and
(s12=c12) and
(s13=c13) and
(s14=c14) and
(s15=c15) and
(s16=c16) and
(s17=c17) and
(s18=c18) and
(s19=c19) and
(s20=c20) and
(s21=c21) and
(s22=c22) and
(s23=c23) and
(s24=c24) and
(s25=c25) and
(s26=c26) and
(s27=c27) and
(s28=c28) and
(s29=c29) and
(s30=c30) and
(s31=c31) and
(s32=c32) and
(s33=c33) and
(s34=c34) and
(s35=c35) and
(s36=c36) and
(s37=c37) and
(s38=c38) and
(s39=c39) and
(s40=c40) and
(s41=c41) and
(s42=c42) and
(s43=c43) and
(s44=c44) and
(s45=c45) and
(s46=c46) and
(s47=c47) and
(s48=c48) and
(s49=c49) and
(s50=c50) and
(s51=c51) and
(s52=c52) and
(s53=c53) and
(s54=c54) and
(s55=c55) and
(s56=c56) and
(s57=c57) and
(s58=c58) and
(s59=c59) and
(s60=c60) and
(s61=c61) and
(s62=c62) and
(s63=c63) and
(s64=c64) and
(s65=c65) and
(s66=c66) and
(s67=c67) and
(s68=c68) and
(s69=c69) and
(s70=c70) and
(s71=c71) and
(s72=c72) and
(s73=c73) and
(s74=c74) and
(s75=c75) and
(s76=c76) and
(s77=c77) and
(s78=c78) and
(s79=c79) and
(s80=c80) and
(s81=c81) and
(s82=c82) and
(s83=c83) and
(s84=c84) and
(s85=c85) and
(s86=c86) and
(s87=c87) and
(s88=c88) and
(s89=c89) and
(s90=c90) and
(s91=c91) and
(s92=c92) and
(s93=c93) and
(s94=c94) and
(s95=c95) )
report "***FAILED TEST: c13s06b00x00p03n01i02737 - All string literal of length 1 are equal in value to their corresponding character values."
severity ERROR;
wait;
END PROCESS TESTING;
END c13s06b00x00p03n01i02737arch;