Return to Article Details Use of Abstraction for Generating Timing Models for Hierarchical Design Closure Download Download PDF