Practical formal methods for hardware design
By: C. Delgado Kloos, W. Damm (Eds.).
Contributors: Delgado Kloos, Carlos.; Damm, Werner.
Series: Research reports ESPRIT.; v. 1
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 293
Subjects: Digital integrated circuits -- Design and construction -- Methodology; Logic circuits -- Design and construction -- Methodology; Computer hardware description languages; Formal methods (Computer science)
Notes: Includes bibliographical references.