Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

By Michael Yoeli, Rakefet Kol
Hardcover
$153.95
By Michael Yoeli, Rakefet Kol
Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5. Learn More

Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
A Step-by-Step Guide to Verification of Digital Systems

This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers 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 pha...

Categories

Science & TechnologyComputersEngineeringComputer ProgrammingElectrical & Electronic EngineeringProgramming LanguagesOther Programming LanguagesElectronics - Circuits - IntegratedQuality Control & Testing - ProgrammingLOTOS (Computer program language)