DESIGN SYSTEMS FOR VLSI CIRCUITS - Micheli,G.De, Sangiovanni-Vincentelli,A.; Antogentti,P. (Italy Martinus Nijhoff Publishers, 1986)