Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Science & Engineering, Computers & IT

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSPublisher: Wiley
Language: English
ISBN: 0471704490
Paperback: 231 pages
Data: Mar 2008
Format: PDF
Description: 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 phase converters, as well as many other verification examples.

Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.


RapidShare
Click the link above to download from RapidShare
http://rapidshare.com/

Please leave message if the download links are dead.
We will update them ASAP!


Related Books

  • Coloured Petri Nets: Modelling and Validation of Concurrent Systems
  • Transactions on Petri Nets and Other Models of Concurrency I
  • Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
  • Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
  • Formal Modeling and Analysis of Timed Systems
  • Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
  • Analog Circuit Design: RF Circuits: Wide band, Front-Ends, DAC’s, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
  • Practical RF Circuit Design for Modern Wireless Systems, Volume I : Passive Circuits and Systems
  • Effective Functional Verification: Principles and Processes
  • Numerical Software with Result Verification

    • Leave a Reply

    You must be logged in to post a comment.