Formal hardware verification : methods and systems in comparison / Thomas Kropf, ed.

Other author Kropf, Thomas, 1961-
Format Book
Publication InfoBerlin ; New York : Springer, ©1997.
Descriptionxii, 367 pages : illustrations ; 24 cm.
Subjects
Integrated circuits--Very large scale integration. --Design and construction. --Data processing.
Integrated circuits--Verification.
Computer-aided design.

SeriesLecture notes in computer science ; 1287
Lecture notes in computer science 1287. ^A466336
Contents Symbolic trajectory evaluation / Scott Hazelhurst and Carl-Johan H. Seger -- Verification with abstract state machines using MDGs / E. Cerny ... [et al.] -- Design verification using synchronized transitions / Jørgen Staunstrup -- Hardware verification using PVS / Mandayam Srivas, Harald Ruess, and David Cyrluk -- Verifying VHDL designs with COSPAN / Kathi Fisler and Robert P. Kurshan -- The C@S system / Klaus Schneider and Thomas Kropf -- Appendix : the common book examples / Thomas Kropf.
Bibliography noteIncludes bibliographical references (p. [349]-367).
LCCN 97036126
ISBN3540634754 (Berlin : softcover : acid-free paper)