87_control_stim.vhd

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

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

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

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

wait for 1 ns;

-- ***********************************
-- *********
-- * I = 4 *
-- *********
--------------------------

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

wait for 1 ns; --	 Cycle No: 32

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 33

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 34

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 35

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 36

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 37

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 38

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 39

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

-- ***********************************
-- *********
-- * I = 5 *
-- *********
--------------------------

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

wait for 1 ns; --	 Cycle No: 40

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 41

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 42

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

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

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

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

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

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

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

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

assert (load = '0')