Descriptions of Marina Tests

test 2: sendInstructions() 
Send instructions into the instruction port.

test 3: sendToken() 
Send a token to the token port

test 4: getCtrsFlags() 
Use the scan chain to print the value of the OLC, ILC, and flags.

test 5: walkOneOLC() 
Use single shot set instructions to write a walking one pattern into
the outer loop counter. Verify the correct OLC value using the scan
chain.

test 1000: walkOneILC()
Use single shot set instructions to write a walking one pattern into
the inner loop counter. Verify the correct ILC value using the scan
chain.

test 1001: countIlc()
Initialize the ILC to 63. Then send in a single shot move
instruction. Use the scan chain to verify the ILC==0.

test 1002: countOlc()
Initialize the OLC to 63. Then send in 63 single shot set instructions
to decrement the OLC. After each decrement verify the correct OLC
value using the scan chain.

test 1003: sendTorpedo()
Send in a move instruction that loops forever. Send a torpedo. Verify
that the move instruction and all subsequent instructions are properly
torpedoed.

test 1004: flipIlcBit()
Test zero detector speed when a single ILC bit flips.

test 1005: flipOlcBit()
Test zero detector speed whan a single OLC bit flips.

test 3000: sendToken()
Same as test 3.

test 3001: testFlagAB() 
Verify that the A and B flags can be set to one or zero.

test 3002: testRequeueStage0()
Verify RQ stage for state 0;

test 3003: testRequeuStage0to1()
Verify RQ stage for state 0 to 1 transistion

test 3004: testFlagZ()
Set the OLC to zero and one. Verify that predication on zero flag works.

test 3005: testPredicationOnAB()
For all combinations of the A and B flags, test that preication works.

test 3006: sendData();
Verify send data.

test 3007: testRequeueStage0to1to3to0()
Verify RQ stage for state transistion 0 -> 1 -> 3 -> 0

test 3008: testWaitForTail()
Verify RQ stage doesn't start executing until tail received

test 3009: testRequeueStageDrop()
Verify that the instruction that causes the state 0 -> 1 transistion
is requeued. This test fails!

test 3010: testRequeueStage0to2to3to0()
Verify the RQ stage for state transistions 0 -> 2 -> 3 -> 0