Formal Hardware Verification Methods and Systems in Comparison /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kropf, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Computer Science, 1287
• Θέματα: Computer engineering.; Computer hardware.; Computer logic.; Mathematical logic.; Computer Engineering.; Computer Hardware.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a...

Πίνακας περιεχομένων:

• Symbolic trajectory evaluation
• Automated verification with abstract state machines using multiway decision graphs
• Design verification using Synchronized Transitions
• Hardware verification using PVS
• Verifying VHDL designs with COSPAN
• The C@S system: Combining proof strategies for system verification
• Appendix: The common book examples.