 
   July 1, 1994                                                        SIS(1)
 
   read_kiss [filename]
 
     Reads a kiss2 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 kiss2 format is described in doc/blif.tex.  Note that there is no
     mechanism for specifying the names of the I/O pins in kiss2.  Naming can
     be done in SIS by specifying a blif file containing the .inputs and
     .outputs lines (which give I/O names) followed by the embedded kiss2
     file.  See also stg_to_network, read_kiss_net.
 
     Note that read_kiss followed by write_kiss alters the ordering of the
     product terms.  This could make a difference in the nova output.
 
                                                                            1
