J. P. Simmons Jr.. Early verification of prototype tooling for IC designs (tutorial). 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 161, ACM, 1985. [doi]
Abstract is missing.