Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
231 pages | Wiley-Interscience (March 7, 2008) | 0471704490 | PDF | 1 Mb
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.