.\" /*
.\"  * Revision Control Information
.\"  *
.\"  * $Source: /vol/opua/opua2/sis/sis-1.1/common/src/sis/sis_lib/help/RCS/read_kiss.1,v $
.\"  * $Author: sis $
.\"  * $Revision: 1.3 $
.\"  * $Date: 1992/05/06 19:04:01 $
.\"  *
.\"
.XX
read_kiss [filename]
.PP
Reads a \fIkiss2\fP format file into a state transition graph.  The state
names may be symbolic or strings of "0" and "1".  Inputs and outputs should be
strings of "0", "1", and "-"; inputs should not be symbolic.
The \fIkiss2\fP format is described in doc/blif.tex.
Note that there is no mechanism for specifying the names of the
I/O pins in \fIkiss2\fP.
Naming can be done in \fBSIS\fP by specifying a \fIblif\fP
file containing the \fI.inputs\fP and \fI.outputs\fP lines
(which give I/O names) followed by the embedded \fIkiss2\fP
file.
See also \fBstg_to_network\fR, \fBread_kiss_net\fR.
.PP
Note that \fIread_kiss\fP followed by \fIwrite_kiss\fP alters the ordering of
the product terms.  This could make a difference in the \fInova\fP
output.
