Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Correct Hardware Design Methodologies: Proceedings
Image d'archives
Correct Hardware Design Methodologies
Edité par
North-Holland, 1992
ISBN 10 : 0444893679
ISBN 13 : 9780444893673
Ancien ou d'occasion
Couverture rigide
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. *Price HAS BEEN REDUCED by 10% until Tuesday, May 26 (holiday SALE item)* 470 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request. N° de réf. du vendeur ZB290199
Acheter D'occasion
EUR 122,69
Expédition à EUR 3,88
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)