Kol, Rakefet
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. It presents theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets?based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
Nyckelord: COMPUTERS / Computer Engineering COM059000
- Författare
- Kol, Rakefet
- Yoeli, Michael
- Utgivare
- John Wiley and Sons, Inc.
- Utgivningsår
- 2008
- Språk
- en
- Utgåva
- 1
- Serie
- Wiley Series on Parallel and Distributed Computing
- Sidantal
- 290 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9780470253397
- Tryckt ISBN
- 9780471704492