87_control_stim.vhd

这是一个对于初学者很好的vhdl实验的一些例子,希望站长的支持哦

"Assert 249 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 250 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 251 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0010";
CCEN_BAR <= '1';
CC_BAR <= '1';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 21

assert (PL_BAR = '1')
report
"Assert 252 : < PL_BAR /= 1 >" -- 	Vector No: 21
severity warning;

assert (VECT_BAR = '1')
report
"Assert 253 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 254 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 255 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 256 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 257 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 258 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 259 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 260 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 261 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 262 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 263 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0010";
CCEN_BAR <= '1';
CC_BAR <= '0';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 22

assert (PL_BAR = '1')
report
"Assert 264 : < PL_BAR /= 1 >" -- 	Vector No: 22
severity warning;

assert (VECT_BAR = '1')
report
"Assert 265 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 266 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 267 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 268 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 269 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 270 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 271 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 272 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 273 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 274 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 275 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0010";
CCEN_BAR <= '1';
CC_BAR <= '0';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 23

assert (PL_BAR = '1')
report
"Assert 276 : < PL_BAR /= 1 >" -- 	Vector No: 23
severity warning;

assert (VECT_BAR = '1')
report
"Assert 277 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 278 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 279 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 280 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 281 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 282 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 283 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 284 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 285 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 286 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 287 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
-- *********
-- * I = 3 *
-- *********
--------------------------

I <= "0011";
CCEN_BAR <= '0';
CC_BAR <= '1';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 24

assert (PL_BAR = '0')
report
"Assert 288 : < PL_BAR /= 0 >" -- 	Vector No: 24
severity warning;

assert (VECT_BAR = '1')
report
"Assert 289 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 290 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 291 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '0')
report
"Assert 292 : < D_sel /= 0 >"
severity warning;

assert (uPC_sel = '1')
report
"Assert 293 : < uPC_sel /= 1 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 294 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 295 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 296 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 297 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 298 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 299 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0011";
CCEN_BAR <= '0';
CC_BAR <= '1';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 25

assert (PL_BAR = '0')
report
"Assert 300 : < PL_BAR /= 0 >" -- 	Vector No: 25
severity warning;

assert (VECT_BAR = '1')
report
"Assert 301 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 302 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 303 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '0')
report
"Assert 304 : < D_sel /= 0 >"
severity warning;

assert (uPC_sel = '1')
report
"Assert 305 : < uPC_sel /= 1 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 306 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 307 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 308 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 309 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 310 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 311 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0011";
CCEN_BAR <= '0';
CC_BAR <= '0';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 26

assert (PL_BAR = '0')
report
"Assert 312 : < PL_BAR /= 0 >" -- 	Vector No: 26
severity warning;

assert (VECT_BAR = '1')
report
"Assert 313 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 314 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 315 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 316 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 317 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 318 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 319 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 320 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 321 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 322 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 323 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0011";
CCEN_BAR <= '0';
CC_BAR <= '0';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 27

assert (PL_BAR = '0')
report
"Assert 324 : < PL_BAR /= 0 >" -- 	Vector No: 27
severity warning;

assert (VECT_BAR = '1')
report
"Assert 325 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 326 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 327 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 328 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 329 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 330 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 331 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 332 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 333 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 334 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 335 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0011";
CCEN_BAR <= '1';
CC_BAR <= '1';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 28

assert (PL_BAR = '0')
report
"Assert 336 : < PL_BAR /= 0 >" -- 	Vector No: 28
severity warning;

assert (VECT_BAR = '1')
report
"Assert 337 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 338 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 339 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 340 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 341 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 342 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 343 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 344 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 345 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 346 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 347 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0011";
CCEN_BAR <= '1';
CC_BAR <= '1';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 29

assert (PL_BAR = '0')
report
"Assert 348 : < PL_BAR /= 0 >" -- 	Vector No: 29
severity warning;

assert (VECT_BAR = '1')
report
"Assert 349 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 350 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 351 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 352 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 353 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 354 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 355 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 356 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 357 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 358 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 359 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0011";
CCEN_BAR <= '1';
CC_BAR <= '0';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 30

assert (PL_BAR = '0')
report
"Assert 360 : < PL_BAR /= 0 >" -- 	Vector No: 30
severity warning;

assert (VECT_BAR = '1')
report
"Assert 361 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 362 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 363 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 364 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 365 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 366 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 367 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 368 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 369 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 370 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 371 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0011";
CCEN_BAR <= '1';
CC_BAR <= '0';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 31

assert (PL_BAR = '0')
report
"Assert 372 : < PL_BAR /= 0 >" -- 	Vector No: 31
severity warning;

assert (VECT_BAR = '1')
report
"Assert 373 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 374 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 375 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 376 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 377 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 378 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 379 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 380 : < load /= 0 >"
severity warning;

assert (clear = '0')