 
   July 1, 1994                                                        SIS(1)
 
   write_blif [-s] [-n] [filename]
 
     Write the current network to file filename in the Berkeley Logic Inter-
     change Format (blif).
 
     The -s option uses the network short names rather than the network long
     names for the blif file.  This can be used to encrypt the names of a
     net-list.
 
     The -n option uses the net-list format of blif when a node has a gate
     implementation in the library.
 
                                                                            1
