Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS. Wiley Series on Parallel and Distributed Computing.
Author:   Michael Yoeli (Department of Computer Science, Technion (Israel)) ,  Rakefet Kol (Electrical Engineering Department, Technion (Israel))
Publisher:   John Wiley & Sons
ISBN:  

9786611284671


Pages:   249
Publication Date:   15 April 2008
Format:   Electronic book text
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $586.08 Quantity:  
Add to Cart

Share |

Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS. Wiley Series on Parallel and Distributed Computing.


Add your own review!

Overview

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, 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.

Full Product Details

Author:   Michael Yoeli (Department of Computer Science, Technion (Israel)) ,  Rakefet Kol (Electrical Engineering Department, Technion (Israel))
Publisher:   John Wiley & Sons
Imprint:   John Wiley & Sons
ISBN:  

9786611284671


ISBN 10:   6611284672
Pages:   249
Publication Date:   15 April 2008
Audience:   General/trade ,  General
Format:   Electronic book text
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now