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