A method to reduce power dissipation by automatically synthesizing gated-docks in synchronous static CMOS circuits is presented. This synthesis is performed on the gate level description of the circuit. The boolean behavior of the inputs of the flip-flops is determined by examining the network. This behavior is represented in ROBDD's. Analysis of these equations results in the condition for which flip-flops do not need to be clocked. Flip-flops are grouped in so called hold domains, and clocked by a gated-dock signal. Power reductions of up to 29% are found. There is only a small area overhead (less than 8% ). Testability of the resulting design is taken care of.