Concurrent Hardware

Concurrent Hardware
Author :
Publisher : Wiley
Total Pages : 402
Release :
ISBN-10 : UOM:39015029083964
ISBN-13 :
Rating : 4/5 (64 Downloads)

Book Synopsis Concurrent Hardware by : Michael Kishinevsky

Download or read book Concurrent Hardware written by Michael Kishinevsky and published by Wiley. This book was released on 1993-12-08 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Examines the theory and design of self-timed systems. The logical design of self-timed circuits (STCs) provides a focal point for, on the one hand, those interested in formal models of parallel computation and, on the other, hardware designers. The approach taken by the authors is to address general issues concerning the very nature of concurrency, as well as to demonstrate the particular features of asynchronous design. The book presents formal models of the specification and verification of parallel processes and describes methods for self-timed circuit synthesis and analysis. It is augmented by a demonstration-version of a CAD system called FORCAGE which consists of subsystems of behavior verification, self-timed circuit analysis and synthesis. The system can be run on a PC.


Concurrent Hardware Related Books

Concurrent Hardware
Language: en
Pages: 402
Authors: Michael Kishinevsky
Categories: Computers
Type: BOOK - Published: 1993-12-08 - Publisher: Wiley

DOWNLOAD EBOOK

Examines the theory and design of self-timed systems. The logical design of self-timed circuits (STCs) provides a focal point for, on the one hand, those intere
Concurrency and Hardware Design
Language: en
Pages: 355
Authors: Jordi Cortadella
Categories: Computers
Type: BOOK - Published: 2003-07-01 - Publisher: Springer

DOWNLOAD EBOOK

As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing
Fundamentals and Standards in Hardware Description Languages
Language: en
Pages: 471
Authors: Jean Mermet
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. During next ce
Hardware Design and Petri Nets
Language: en
Pages: 335
Authors: Alex Yakovlev
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area
Language: en
Pages: 10439
Authors:
Categories:
Type: BOOK - Published: - Publisher: IOS Press

DOWNLOAD EBOOK