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...
|Main Authors:||, ,|
Berlin, Heidelberg : Springer Berlin Heidelberg,
|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.,|
No Tags, Be the first to tag this record!