Concurrent hardware : the theory and practice of self-timed design

著者

書誌事項

Concurrent hardware : the theory and practice of self-timed design

Michael Kishinevsky ... [et al.] ; translated by Alex Yakovlev, Eric Napelbaum and Olga Reva

（Wiley series in parallel computing）

Wiley, 1994

大学図書館所蔵 件 / 全10件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

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

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ