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 language | English |
---|---|
Title of host publication | Proceedings 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'98, San Diego CA, USA, March 30-April 2, 1998) |
Publisher | IEEE Computer Society |
Pages | 172-183 |
ISBN (Print) | 0-8186-8392-9 |
DOIs | |
Publication status | Published - 1998 |
Event | Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems - San Diego, United States Duration: 30 Mar 1988 → 2 Apr 1998 Conference number: 4th |
Conference
Conference | Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems |
---|---|
Abbreviated title | async |
Country/Territory | United States |
City | San Diego |
Period | 30/03/88 → 2/04/98 |