Efficient stimulus independent timing abstraction model based on a new concept of circuit block transparency. - Martin Foltin; Brian Foutz; Sean Tyler (DAC, 2002)