發送短信 : The bounding approach to VLSI circuit simulation /