VLSI circuit simulation and optimization - Litovski (Chapman&Halll, 1997)