This content is not currently approved and is visible here for review only.

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computin

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computin
Authors
Michael Yoeli, Rakefet Kol
ISBN
0471704490
Published
07 Mar 2008
Purchase online
amazon.com

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.

Editorial Reviews

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.

You might also like...

Comments

Contribute

Why not write for us? Or you could submit an event or a user group in your area. Alternatively just tell us what you think!

Our tools

We've got automatic conversion tools to convert C# to VB.NET, VB.NET to C#. Also you can compress javascript and compress css and generate sql connection strings.

“Better train people and risk they leave – than do nothing and risk they stay.” - Anonymous