
Test Vectors - MUXADD
The test vectors first clear the adder (Score = 0), then add card reader
values 7 and 10. The Test vectors then input an ace (1) to produce a score of 1 and
pull the is_Ace output high. Subsequent vectors verify the -10 function of the
input multiplexer and adder. The trace statement lets you observe the carry
signals in simulation.