P. Johannes, Luc J. M. Claesen, Hugo De Man. On the use of hierarchy in timing verification with statically sensitizable paths. In Proceedings of the Second Great Lakes Symposium on VLSI, Kalamazoo, MI, USA, February 28-29, 1992. pages 4-8, IEEE, 1992. [doi]
Abstract is missing.