The Need for Formal Methods for Integrated Circuit Design - researchr publication

researchr

You are not signed in
Sign in
Sign up

Kurt Keutzer. The Need for Formal Methods for Integrated Circuit Design. In Mandayam K. Srivas, Albert John Camilleri, editors, Formal Methods in Computer-Aided Design, First International Conference, FMCAD 96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Volume 1166 of Lecture Notes in Computer Science, pages 1-18, Springer, 1996.

Abstract is missing.

runs on WebDSL