Formal methods for VLSI design
Subtitle: IFIP WG 10.5 lecture notes
By: edited by Jørgen Staunstrup.
Contributors: Staunstrup, J. 1952-; IFIP WG 10.5.; Danmarks tekniske højskole. Instituttet for datateknik.
Publisher: North-Holland; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
Published: 1990
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 329
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design.; Integrated circuits -- Very large scale integration -- Testing.
Notes: Includes bibliographical references.
Written for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990.