Statistical timing analysis using bounds and selective enumeration.

Published in: Timing Issues in the Specification and Synthesis of Digital Systems (2002)