Kurt Keutzer. The Need for Formal Verification in Hardware Design and What Formal Verification Has Not Done for Me Lately. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 77-86, IEEE Computer Society, 1991.
Abstract is missing.