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!

Internet

Click Here to View Status and Holdings.

Similar Items