Zaslat SMS: The bounding approach to VLSI circuit simulation /