Cover Image

Formal hardware verification : methods and systems in comparison /

Show other versions (1)
Bibliographic Details
Other Authors: Kropf, Thomas, 1961-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1997]
Series:Lecture notes in computer science. 1287.
Subjects:
Integrated circuits > Very large scale integration > Design and construction > Data processing.
Integrated circuits > Verification.
Computer-aided design.
Description
Physical Description:xii, 367 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [349]-367).
ISBN:3540634754 (Berlin : softcover : acid-free paper)
ISSN:0302-9743 ;