Loading…

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.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Yoeli, Michael, 1917-
Other Authors: Kol, Rakefet
Format: Electronic eBook
Language:Inglés
Published: Hoboken, N.J. : Wiley-Interscience, ©2008.
Series:Wiley series on parallel and distributed computing.
Subjects:
Online Access:Texto completo (Requiere registro previo con correo institucional)
Table of 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.