87_control_stim.vhd

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

report
"Assert 512 : < load /= 0 >"
severity warning;

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 43

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 44

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 45

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 46

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 47

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

-- ***********************************
-- *********
-- * I = 6 *
-- *********
--------------------------

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

wait for 1 ns; --	 Cycle No: 48

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 49

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 50

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 51

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 52

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

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

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

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

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

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

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

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

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

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

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

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

wait for 1 ns;

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

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

wait for 1 ns; --	 Cycle No: 53

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

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

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

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

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

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

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

assert (decr = '0')
report
"Assert