Technical data

Simulating with Code Coverage
10-96 ModelSim EE/SE Tutorial
10 Now, take note of how many times the clocked processes have been executed. Then
edit the which_test.txt file to ensure that it reads "true = data_switch_test."
11 Restart the simulation with the changed flag so a different test is run on the circuit.
restart -f
12 Restore the coverage data from the last simulation run so that its data can be appended
to the last simulation run.
coverage reload cover.dat
13 Run the simulator for 3msecs as before.
run 3000000
14 Display the coverage_summary window again.
view_coverage
(MENU: View > Other > Source Coverage)