Formal hardware verification : methods and systems in comparison
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
Electronic resources (Books)
xii, 367 pages : illustrations ; 24 cm.
9783540634751, 3540634754
37437677
Symbolic trajectory evaluation / Scott Hazelhurst and Carl-Johan H. Seger
Verification with abstract state machines using MDGs / E. Cerny [and others]
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