Description |
1 online resource (xv, 231 pages) : illustrations |
Series |
Wiley series on parallel and distributed computing |
|
Wiley series on parallel and distributed computing.
|
Bibliography |
Includes bibliographical references and index. |
Contents |
VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS; CONTENTS; 1. Introduction; 2. Processes; 3. From Digital Hardware to Processes; 4. Introducing LOTOS; 5. Introducing Petri Nets; 6. Introducing CCS; 7. Verification of Modular Asynchronous Circuits; 8. Verification of Communication Protocols; 9. Verification of Arbiters; 10. More Verification Case Studies; 11. Guide to Further Studies; Index. |
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. |
Language |
English. |
Subject |
Integrated circuits -- Verification.
|
|
Computer software -- Verification.
|
|
LOTOS (Computer program language)
|
|
Petri nets.
|
|
Computer programs -- Verification.
|
|
Circuits intégrés -- Vérification. |
|
Logiciels -- Vérification. |
|
LOTOS (Langage de programmation) |
|
Réseaux de Pétri. |
|
Computer programs -- Verification |
|
Computer software -- Verification |
|
Integrated circuits -- Verification |
|
LOTOS (Computer program language) |
|
Petri nets |
Added Author |
Kol, Rakefet.
|
Other Form: |
Print version: Yoeli, Michael, 1917- Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Hoboken, N.J. : Wiley-Interscience, ©2008 (DLC) 2007033487 |
ISBN |
9780470253397 (electronic bk.) |
|
0470253398 (electronic bk.) |
|
9780470253410 |
|
047025341X |
|
(cloth) |
|
(cloth) |
|
9786611284671 |
|
6611284672 |
Standard No. |
10.1002/9780470253410 doi |
|