Practical Formal Methods for Hardware Design /

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

Bibliographic Details

Main Author:	Delgado Kloos, Carlos
Corporate Author:	SpringerLink (Online service)
Other Authors:	Damm, Werner
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Series:	Research Reports ESPRIT ;.
Subjects:	Computer science. Microprogramming. Data transmission systems. Logic design. Electronics. Electronic books.
Online Access:	Connect to the full text of this electronic book