Examples for tests
Example 2: Test case for counter with global/external variable
Example 3: Test case for addition with local variable, different test mode and stimuli
Example 4: Test case for myTon with simulated cycle time and unspecified test sequences
Example 5: Test case for addition with initial value of a local variable