Vighneswara Row Mokkarala, Antony Fan, Ravi Apte. A unified approach to simulation and timing verification at the functional level. In Hillel Ofek, Lawrence A. O Neill, editors, Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA. pages 757-761, ACM, 1985. [doi]
Abstract is missing.