Verification of systems and circuits using LOTOS, Petri Nets, and CCS
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 CAD...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | Inglés |
| Published: |
Hoboken, N.J. :
Wiley-Interscience
c2008.
|
| Edition: | 1st edition |
| Series: | Wiley series on parallel and distributed computing.
|
| Subjects: | |
| See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627630406719 |
| Summary: | 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 phase converters, as well as many other verification examples. Using the given detailed examples, exerci |
|---|---|
| Item Description: | Description based upon print version of record. |
| Physical Description: | 1 online resource (249 p.) |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781281284679 9786611284671 9780470253410 9780470253397 |
