CORRECT HARDWARE DESIGN METHODOLOGIES proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

• Corporate Authors: ESPRIT Basic Research Action 3216 "CHARME", Politecnico di Torino
• Other Authors: Prinetto, Paolo, Camurati, Paolo
• Format: Book
• Language: English
• Published: Amsterdam North-Hollandcc1992 1992; ©1992
• Subjects: Integrated circuits > Design and construction > Data processing > Congresses > Very large scale integration; Computer-aided design > Congresses; Computer software > Verification > Congresses > Data processing > Congresses
• Online Access: Click Here to View Status and Holdings.
• Item Description: "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"
• Physical Description: ix, 470 pages illustrations 25 cm
• Bibliography: Includes bibliographical references and index
• ISBN: 0444893679

The increasing interest in formal verification of hardware is witnessed by academic and industrial research efforts, multinational research projects and conferences. These proceedings contain the papers presented at the Workshop held in Turin, Italy from 12-14 June, 1991. Papers focus on the practical impact of formal techniques in VLSI design and verification, semantics for hardware description languages, proof environments and methodologies. Preliminary results of the ESPRIT Basic Research Action 3216 CHARME are discussed. Finite State Machines and their verification, semantics for hardware description languages, proof environments and methodologies, as well as examples of verified circuits and Design for Verifiability are also presented.