1


2

 Copyright (C) 2001 Bill Billowitch.

3


4

 Some of the work to develop this test suite was done with Air Force

5

 support. The Air Force and Bill Billowitch assume no

6

 responsibilities for this software.

7


8

 This file is part of VESTs (Vhdl tESTs).

9


10

 VESTs is free software; you can redistribute it and/or modify it

11

 under the terms of the GNU General Public License as published by the

12

 Free Software Foundation; either version 2 of the License, or (at

13

 your option) any later version.

14


15

 VESTs is distributed in the hope that it will be useful, but WITHOUT

16

 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

17

 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License

18

 for more details.

19


20

 You should have received a copy of the GNU General Public License

21

 along with VESTs; if not, write to the Free Software Foundation,

22

 Inc., 59 Temple Place, Suite 330, Boston, MA 021111307 USA

23


24

 

25



26

 $Id: tc217.vhd,v 1.2 20050321 17:33:22 dmartin Exp $

27

 $Revision: 1.2 $

28



29

 

30


31

ENTITY c03s01b01x00p06n02i00217ent IS

32

END c03s01b01x00p06n02i00217ent;

33


34

ARCHITECTURE c03s01b01x00p06n02i00217arch OF c03s01b01x00p06n02i00217ent IS

35


36

BEGIN

37

TESTING: PROCESS

38

BEGIN

39

assert NOT ((character'pos(NUL) = 0) and

40

(character'pos(SOH) = 1) and

41

(character'pos(STX) = 2) and

42

(character'pos(ETX) = 3) and

43

(character'pos(EOT) = 4) and

44

(character'pos(ENQ) = 5) and

45

(character'pos(ACK) = 6) and

46

(character'pos(BEL) = 7) and

47

(character'pos(BS ) = 8) and

48

(character'pos(HT ) = 9) and

49

(character'pos(LF ) = 10) and

50

(character'pos(VT ) = 11) and

51

(character'pos(FF ) = 12) and

52

(character'pos(CR ) = 13) and

53

(character'pos(SO ) = 14) and

54

(character'pos(SI ) = 15) and

55

(character'pos(DLE) = 16) and

56

(character'pos(DC1) = 17) and

57

(character'pos(DC2) = 18) and

58

(character'pos(DC3) = 19) and

59

(character'pos(DC4) = 20) and

60

(character'pos(NAK) = 21) and

61

(character'pos(SYN) = 22) and

62

(character'pos(ETB) = 23) and

63

(character'pos(CAN) = 24) and

64

(character'pos(EM ) = 25) and

65

(character'pos(SUB) = 26) and

66

(character'pos(ESC) = 27) and

67

(character'pos(FSP) = 28) and

68

(character'pos(GSP) = 29) and

69

(character'pos(RSP) = 30) and

70

(character'pos(USP) = 31) and

71

(character'pos(' ') = 32) and

72

(character'pos('!') = 33) and

73

(character'pos('"') = 34) and

74

(character'pos('#') = 35) and

75

(character'pos('$') = 36) and

76

(character'pos('%') = 37) and

77

(character'pos('&') = 38) and

78

(character'pos(''') = 39) and

79

(character'pos('(') = 40) and

80

(character'pos(')') = 41) and

81

(character'pos('*') = 42) and

82

(character'pos('+') = 43) and

83

(character'pos(',') = 44) and

84

(character'pos('') = 45) and

85

(character'pos('.') = 46) and

86

(character'pos('/') = 47) and

87

(character'pos('0') = 48) and

88

(character'pos('1') = 49) and

89

(character'pos('2') = 50) and

90

(character'pos('3') = 51) and

91

(character'pos('4') = 52) and

92

(character'pos('5') = 53) and

93

(character'pos('6') = 54) and

94

(character'pos('7') = 55) and

95

(character'pos('8') = 56) and

96

(character'pos('9') = 57) and

97

(character'pos(':') = 58) and

98

(character'pos(';') = 59) and

99

(character'pos('<') = 60) and

100

(character'pos('=') = 61) and

101

(character'pos('>') = 62) and

102

(character'pos('?') = 63) and

103

(character'pos('@') = 64) and

104

(character'pos('A') = 65) and

105

(character'pos('B') = 66) and

106

(character'pos('C') = 67) and

107

(character'pos('D') = 68) and

108

(character'pos('E') = 69) and

109

(character'pos('F') = 70) and

110

(character'pos('G') = 71) and

111

(character'pos('H') = 72) and

112

(character'pos('I') = 73) and

113

(character'pos('J') = 74) and

114

(character'pos('K') = 75) and

115

(character'pos('L') = 76) and

116

(character'pos('M') = 77) and

117

(character'pos('N') = 78) and

118

(character'pos('O') = 79) and

119

(character'pos('P') = 80) and

120

(character'pos('Q') = 81) and

121

(character'pos('R') = 82) and

122

(character'pos('S') = 83) and

123

(character'pos('T') = 84) and

124

(character'pos('U') = 85) and

125

(character'pos('V') = 86) and

126

(character'pos('W') = 87) and

127

(character'pos('X') = 88) and

128

(character'pos('Y') = 89) and

129

(character'pos('Z') = 90) and

130

(character'pos('[') = 91) and

131

(character'pos('\') = 92) and

132

(character'pos(']') = 93) and

133

(character'pos('^') = 94) and

134

(character'pos('_') = 95) and

135

(character'pos('`') = 96) and

136

(character'pos('a') = 97) and

137

(character'pos('b') = 98) and

138

(character'pos('c') = 99) and

139

(character'pos('d') = 100) and

140

(character'pos('e') = 101) and

141

(character'pos('f') = 102) and

142

(character'pos('g') = 103) and

143

(character'pos('h') = 104) and

144

(character'pos('i') = 105) and

145

(character'pos('j') = 106) and

146

(character'pos('k') = 107) and

147

(character'pos('l') = 108) and

148

(character'pos('m') = 109) and

149

(character'pos('n') = 110) and

150

(character'pos('o') = 111) and

151

(character'pos('p') = 112) and

152

(character'pos('q') = 113) and

153

(character'pos('r') = 114) and

154

(character'pos('s') = 115) and

155

(character'pos('t') = 116) and

156

(character'pos('u') = 117) and

157

(character'pos('v') = 118) and

158

(character'pos('w') = 119) and

159

(character'pos('x') = 120) and

160

(character'pos('y') = 121) and

161

(character'pos('z') = 122) and

162

(character'pos('{') = 123) and

163

(character'pos('') = 124) and

164

(character'pos('}') = 125) and

165

(character'pos('~') = 126) and

166

(character'pos(DEL) = 127) and

167

(character'pos(character'right) = 127) and

168

(bit'pos('0') = 0) and

169

(bit'pos('1') = 1) and

170

(bit'pos(bit'right) = 1) and

171

(boolean'pos(false) = 0) and

172

(boolean'pos(true) = 1) and

173

(boolean'pos(boolean'right) = 1) and

174

(severity_level'pos(NOTE) = 0) and

175

(severity_level'pos(WARNING) = 1) and

176

(severity_level'pos(ERROR) = 2) and

177

(severity_level'pos(FAILURE) = 3) and

178

(severity_level'pos(severity_level'right)

179

= 3))

180

report "***PASSED TEST: c03s01b01x00p06n02i00217"

181

severity NOTE;

182

assert ( (character'pos(NUL) = 0) and

183

(character'pos(SOH) = 1) and

184

(character'pos(STX) = 2) and

185

(character'pos(ETX) = 3) and

186

(character'pos(EOT) = 4) and

187

(character'pos(ENQ) = 5) and

188

(character'pos(ACK) = 6) and

189

(character'pos(BEL) = 7) and

190

(character'pos(BS ) = 8) and

191

(character'pos(HT ) = 9) and

192

(character'pos(LF ) = 10) and

193

(character'pos(VT ) = 11) and

194

(character'pos(FF ) = 12) and

195

(character'pos(CR ) = 13) and

196

(character'pos(SO ) = 14) and

197

(character'pos(SI ) = 15) and

198

(character'pos(DLE) = 16) and

199

(character'pos(DC1) = 17) and

200

(character'pos(DC2) = 18) and

201

(character'pos(DC3) = 19) and

202

(character'pos(DC4) = 20) and

203

(character'pos(NAK) = 21) and

204

(character'pos(SYN) = 22) and

205

(character'pos(ETB) = 23) and

206

(character'pos(CAN) = 24) and

207

(character'pos(EM ) = 25) and

208

(character'pos(SUB) = 26) and

209

(character'pos(ESC) = 27) and

210

(character'pos(FSP) = 28) and

211

(character'pos(GSP) = 29) and

212

(character'pos(RSP) = 30) and

213

(character'pos(USP) = 31) and

214

(character'pos(' ') = 32) and

215

(character'pos('!') = 33) and

216

(character'pos('"') = 34) and

217

(character'pos('#') = 35) and

218

(character'pos('$') = 36) and

219

(character'pos('%') = 37) and

220

(character'pos('&') = 38) and

221

(character'pos(''') = 39) and

222

(character'pos('(') = 40) and

223

(character'pos(')') = 41) and

224

(character'pos('*') = 42) and

225

(character'pos('+') = 43) and

226

(character'pos(',') = 44) and

227

(character'pos('') = 45) and

228

(character'pos('.') = 46) and

229

(character'pos('/') = 47) and

230

(character'pos('0') = 48) and

231

(character'pos('1') = 49) and

232

(character'pos('2') = 50) and

233

(character'pos('3') = 51) and

234

(character'pos('4') = 52) and

235

(character'pos('5') = 53) and

236

(character'pos('6') = 54) and

237

(character'pos('7') = 55) and

238

(character'pos('8') = 56) and

239

(character'pos('9') = 57) and

240

(character'pos(':') = 58) and

241

(character'pos(';') = 59) and

242

(character'pos('<') = 60) and

243

(character'pos('=') = 61) and

244

(character'pos('>') = 62) and

245

(character'pos('?') = 63) and

246

(character'pos('@') = 64) and

247

(character'pos('A') = 65) and

248

(character'pos('B') = 66) and

249

(character'pos('C') = 67) and

250

(character'pos('D') = 68) and

251

(character'pos('E') = 69) and

252

(character'pos('F') = 70) and

253

(character'pos('G') = 71) and

254

(character'pos('H') = 72) and

255

(character'pos('I') = 73) and

256

(character'pos('J') = 74) and

257

(character'pos('K') = 75) and

258

(character'pos('L') = 76) and

259

(character'pos('M') = 77) and

260

(character'pos('N') = 78) and

261

(character'pos('O') = 79) and

262

(character'pos('P') = 80) and

263

(character'pos('Q') = 81) and

264

(character'pos('R') = 82) and

265

(character'pos('S') = 83) and

266

(character'pos('T') = 84) and

267

(character'pos('U') = 85) and

268

(character'pos('V') = 86) and

269

(character'pos('W') = 87) and

270

(character'pos('X') = 88) and

271

(character'pos('Y') = 89) and

272

(character'pos('Z') = 90) and

273

(character'pos('[') = 91) and

274

(character'pos('\') = 92) and

275

(character'pos(']') = 93) and

276

(character'pos('^') = 94) and

277

(character'pos('_') = 95) and

278

(character'pos('`') = 96) and

279

(character'pos('a') = 97) and

280

(character'pos('b') = 98) and

281

(character'pos('c') = 99) and

282

(character'pos('d') = 100) and

283

(character'pos('e') = 101) and

284

(character'pos('f') = 102) and

285

(character'pos('g') = 103) and

286

(character'pos('h') = 104) and

287

(character'pos('i') = 105) and

288

(character'pos('j') = 106) and

289

(character'pos('k') = 107) and

290

(character'pos('l') = 108) and

291

(character'pos('m') = 109) and

292

(character'pos('n') = 110) and

293

(character'pos('o') = 111) and

294

(character'pos('p') = 112) and

295

(character'pos('q') = 113) and

296

(character'pos('r') = 114) and

297

(character'pos('s') = 115) and

298

(character'pos('t') = 116) and

299

(character'pos('u') = 117) and

300

(character'pos('v') = 118) and

301

(character'pos('w') = 119) and

302

(character'pos('x') = 120) and

303

(character'pos('y') = 121) and

304

(character'pos('z') = 122) and

305

(character'pos('{') = 123) and

306

(character'pos('') = 124) and

307

(character'pos('}') = 125) and

308

(character'pos('~') = 126) and

309

(character'pos(DEL) = 127) and

310

(character'pos(character'right) = 255) and

311

(bit'pos('0') = 0) and

312

(bit'pos('1') = 1) and

313

(bit'pos(bit'right) = 1) and

314

(boolean'pos(false) = 0) and

315

(boolean'pos(true) = 1) and

316

(boolean'pos(boolean'right) = 1) and

317

(severity_level'pos(NOTE) = 0) and

318

(severity_level'pos(WARNING) = 1) and

319

(severity_level'pos(ERROR) = 2) and

320

(severity_level'pos(FAILURE) = 3) and

321

(severity_level'pos(severity_level'right)

322

= 3))

323

report "***FAILED TEST: c03s01b01x00p06n02i00217  The predefined order relations between enumeration values follow the order of corresponding position number."

324

severity ERROR;

325

wait;

326

END PROCESS TESTING;

327


328

END c03s01b01x00p06n02i00217arch;
