COMPUTER-AIDED DESIGN OF MICROELECTRONIC CIRCUITS AND SYSTEMS : Fundamentals, methods and tools. Vol. 2. Digital-circuit aspects and state of the art - Schwarz, A. F. (Academic Press, 1987)