Saving a Counter Example Simulation


1. From the menu, click File | Save

2. In the save simulation dialog that pops up, enter the name for the simulation. It is recommended that you enter the project name and subsystem name (if this is a HISC project) to aid in identifying the error subsystem when loading the simulation.

3. Press the button.
« Debugging in Multiple Sessions   |   Loading a CES for a Complete System »