Yuji Kukimoto Robert K. Brayton Hierarchical Functional Timing Analysis. 580-585 1998 DAC http://doi.acm.org/10.1145/277044.277197 db/conf/dac/dac98.html#KukimotoB98