P. A. Subrahmanyam. A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks. In Proceedings of the Fifth International Conference on VLSI Design, VLSI Design 1992, Bangalore, India, January 4-7, 1992. pages 341-342, IEEE Computer Society, 1992. [doi]
Abstract is missing.