Core to SPIN - User Guide

Core2Spin input_cdl_file

where:

• Core2Spin        - is the application (use the correct path)
• input_cdl_file    - is the file that contains the input CDL program

As a result, you will get two files:

• spin_program:  - The equivalent SPIN program.
• log:                  - A file that contains any remarks about the translation.