next up previous contents
Next: Comments Up: Reference - Input formats Previous: Boolean functions   Contents


Trace format

Trace files follow a format inspired by the dlx processor verification examples made available by Carnegie Mellon University. A trace file has three sections: input, output, and structure. Format for the entire file is shown in Figure [*]. The field <name> is any string of contiguous characters naming the module. We regard the input and output sections as the file header and the structure section as the place where functions are specified. The three sections are described below. There are no directives or manipulators in this format.

Figure: Trace format specification
\begin{figure}\begin{verbatim}MODULE <name>
INPUT <var>, ..., <var>;
OUTP...
...UCTURE
<statement>;
...
<statemnt>;
ENDMODULE\end{verbatim}
\end{figure}



Subsections

John Franco 2011-09-15