Analyzing specifications for delay-insensitive circuits

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)
64 Downloads (Pure)

Abstract

We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays incurred by the interface. XDI specifications capture restrictions on the communication between circuit and environment, treating both parties equally. They can be visualized as state graphs where each arrow is labeled by a communication terminal and each state by a safety/progress label. We investigate various properties that can be extracted from XDI specifications: automorphisms, environment partitions, autocomparison matrix, and classifications of choice, order dependence, and nondeterminism. We introduce a distinction between static and dynamic output nondeterminism, capturing the difference between design freedom and arbitration. Determining specification properties is useful for validation and design.
Original languageEnglish
Title of host publicationProceedings 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'98, San Diego CA, USA, March 30-April 2, 1998)
PublisherIEEE Computer Society
Pages172-183
ISBN (Print)0-8186-8392-9
DOIs
Publication statusPublished - 1998
EventFourth International Symposium on Advanced Research in Asynchronous Circuits and Systems - San Diego, United States
Duration: 30 Mar 19882 Apr 1998
Conference number: 4th

Conference

ConferenceFourth International Symposium on Advanced Research in Asynchronous Circuits and Systems
Abbreviated titleasync
Country/TerritoryUnited States
CitySan Diego
Period30/03/882/04/98

Fingerprint

Dive into the research topics of 'Analyzing specifications for delay-insensitive circuits'. Together they form a unique fingerprint.

Cite this