Performance Through Hierarchy in Static Timing Verification

P. Johannes, Luc J. M. Claesen, Hugo De Man. Performance Through Hierarchy in Static Timing Verification. In Jan van Leeuwen, editor, Algorithms, Software, Architecture - Information Processing 92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-12 of IFIP Transactions, pages 703-709, North-Holland, 1992.

Abstract

Abstract is missing.