 
   July 1, 1994                                                        SIS(1)
 
   c_check -[nd] -[SH]#.#
 
     Verifies that the given circuit satisfies the constraints for correct
     clocking. By default the circuit is assumed to be mapped to a library.
     Use the -n option to use the unit-fanout delay model.
 
     The user can give global set-up (and hold) times for all memory elements
     using the -S (-H) option. By default it computes the set-up and hold
     times from the library. If the optimal clocking scheme was found using
     the c_opt command make sure you use the same delay model!
 
     The -d value selects the debug level. The range is 1-5.
 
                                                                            1
