Recurrence Equations and the Optimization of Synchronous Logic Circuits