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

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

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 practic...

Full description

Saved in:
Bibliographic Details
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.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000#i 4501
001 wils-130029
005 202123102732
008 210303t1992 -US a 000 eng D
020 # # |a 0444893679  |q hardback 
040 # # |a UiTM  |b eng  |c UiTM  |e rda 
041 0 # |a eng 
090 0 0 |a TK7874  |b .A3353 1992 
245 1 0 |a CORRECT HARDWARE DESIGN METHODOLOGIES  |b proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991  |c edited by Paolo Prinetto, Paolo Camurati 
264 # 1 |a Amsterdam  |b North-Hollandcc1992  |c 1992 
264 # 1 |c ©1992 
300 # # |a ix, 470 pages  |b illustrations  |c 25 cm 
336 # # |a text  |2 rdacontent 
337 # # |a unmediated  |2 rdamedia 
338 # # |a volume  |2 rdacarrier 
500 # # |a "Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."#  |a "Sponsored by Politecnico di Torino" 
504 # # |a Includes bibliographical references and index 
520 # # |a 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. 
650 # 0 |a Integrated circuits  |x Design and construction  |x Data processing  |x Congresses  |x Very large scale integration 
650 # 0 |a Computer-aided design  |v Congresses 
650 # 0 |a Computer software  |x Verification  |x Congresses  |x Data processing  |x Congresses 
700 1 # |a Prinetto, Paolo 
700 # # |a Camurati, Paolo 
710 1 # |a ESPRIT Basic Research Action 3216 "CHARME" 
710 # # |a Politecnico di Torino 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=130029 
998 # # |a 00264#1a002.8.2||00264#1b002.8.4||01264#1a002.8.2||01264#1b002.8.4||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||00500##a002.17.2||00500##a002.17.2||00520##a007.2||00520##b007.2||01700##a0011.2.2||01710##a0011.3.3|| 

Similar Items