Last Updated: 04/09/99

To convert to WITNESS do the following

1. In ProSim:
   1. Turn off Custom Display and Presentation Mode first.
   2. Go to top level of scenario, select leftmost decomp, and click right mouse button. Select Hide Decomp. Repeat until you see no more blue lines at the scenario. (If you have more than two levels of decomps, you'll haveto drill down all the decomps to hide all the decomps.)
   3. Now expand the decomps, being sure to use Expand option.
   4. Use Diagram|Model Verification, select the Active + Expanded Decomp.
   5. When you use File|Build Simulation Model, be sure to select Active + Expanded Decomp.
2. In WITNESS:
   1. Choose File|New each time you read in the .wcl file
   2. Open the file (be sure to change the extension to WCL)
   3. Press the play button to see if the system runs.
   4. Try and debug in ProSim, not WITNESS. (Try)