Linearization of the timing analysis and optimization of level-sensitive digital synchronous circuits.

This paper describes a linear programming (LP) problem formulation applicable to the static-timing analysis of large scale synchronous circuits with level-sensitive latches. Specifically, an LP formulation for the clock period minimization problem is developed. In order to minimize the clock period...

Полное описание