Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic

Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic
Author :
Publisher :
Total Pages : 27
Release :
ISBN-10 : OCLC:11205590
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic by : B. Mishra

Download or read book Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic written by B. Mishra and published by . This book was released on 1983 with total page 27 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic Related Books

Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic
Language: en
Pages: 27

Automatic and Hierarchical Verification of Asynchronous Circuits Using Temporal Logic

Authors: B. Mishra
Categories: Electronic circuit design
Type: BOOK - Published: 1983 - Publisher:

DOWNLOAD EBOOK

Automatic Verification of Asynchronous Circuits Using Temporal Logic
Language: en
Pages: 17

Automatic Verification of Asynchronous Circuits Using Temporal Logic

Authors: D. L. Dill
Categories: Asynchronous circuits
Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

Automatic Verification Methods for Finite State Systems
Language: en
Pages: 392

Automatic Verification Methods for Finite State Systems

Authors: Joseph Sifakis
Categories: Computers
Type: BOOK - Published: 1990-01-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Language: en
Pages: 180

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Authors: David L. Dill
Categories: Computers
Type: BOOK - Published: 2003-02-01 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical aut
Asynchronous Circuit Design
Language: en
Pages: 424

Asynchronous Circuit Design

Authors: Chris J. Myers
Categories: Technology & Engineering
Type: BOOK - Published: 2004-04-05 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

With asynchronous circuit design becoming a powerful tool in thedevelopment of new digital systems, circuit designers are expectedto have asynchronous design sk