UID:
almafu_9959327290902883
Format:
1 online resource (xv, 231 pages) :
,
illustrations
ISBN:
9780470253397
,
0470253398
,
9780470253410
,
047025341X
Series Statement:
Wiley series on parallel and distributed computing
Content:
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.
Note:
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.
Additional Edition:
Print version: Yoeli, Michael, 1917- Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Hoboken, N.J. : Wiley-Interscience, ©2008
Language:
English
Keywords:
Electronic books.
;
Electronic books.
;
Electronic books.
;
Electronic books.
DOI:
10.1002/9780470253410
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410
Bookmarklink