Concurrent Hardware
Theory and Practice of Self-timed Design
Published on 24. November 1993
Book
Mixed media product
388 pages
978-0-471-93536-0 (ISBN)
Description
This monograph presents the theory and design of self-timed systems. The authors adopt an approach which addresses general issues concerning the very nature of concurrency, as well as demonstrating the particular features of asynchronous design.
More details
Series
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
bibliography, index
Dimensions
Height: 250 mm
Width: 172 mm
Weight
890 gr
ISBN-13
978-0-471-93536-0 (9780471935360)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
The Models of Parallel Processes Specification and the Behaviour of the Circuits; Verification of Parallel System Behaviour Through Formal Models; The Relationship between the State and Event Models; Behaviour Identification and Circuit Analysis; Transformation of the Behaviour Specifications; Language Meccano; Methods for Direct Translation of Specification into Circuits; Formal Methods for Self-Timed Circuit Synthesis; Reducing Specification to the Form Implementable Through Circuits; Abridged Review of the State of the Art in Self-Timing; Use of the CAD System 'FORCAGE' in the Design of Self-Timed Circuits.