Formal VLSI correctness verification
Subtitle: proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
By: sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
Contributors: Claesen, Luc J. M.; Interuniversity Micro-Electronics Center.
Series: VLSI design methods ;; 2
Publisher: North-Holland; Distributed in the U.S. and Canada, Elsevier Science Pub. Co.
Published: 1990
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 427
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.; Integrated circuits -- Verification -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.