VLSI circuit simulation and optimization - Litovski lhV