Practical Formal Methods for Hardware Design [electronic resource] /

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which inv...

Full description

Saved in:
Bibliographic Details
Main Authors: Kloos, Carlos Delgado. editor., Damm, Werner. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
Subjects:Computer science., Microprogramming., Input-output equipment (Computers)., Logic design., Architecture, Computer., Computer logic., Computer engineering., Computer Science., Computer System Implementation., Computer Engineering., Control Structures and Microprogramming., Input/Output and Data Communications., Logic Design., Logics and Meanings of Programs.,
Online Access:http://dx.doi.org/10.1007/978-3-642-60641-0
Tags: Add Tag
No Tags, Be the first to tag this record!