Correct hardware design methodologies
Subtitle: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
By: edited by Paolo Prinetto, Paolo Camurati.
Contributors: Prinetto, Paolo.; Camurati, Paolo.; ESPRIT Basic Research Action 3216 "CHARME".; Politecnico di Torino.
Publisher: North-Holland; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
Published: 1992
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 470
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.; Computer software -- Verification -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.
"Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."
"Sponsored by Politecnico di Torino."