Results on the Interface between Formal Verification and ATPG

Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi. Results on the Interface between Formal Verification and ATPG. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. Volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 615, DIMACS/AMS, 1990.

Abstract

Abstract is missing.