Analyzing specifications for delay-insensitive circuits

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (Scopus)
52 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'98, San Diego CA, USA, March 30-April 2, 1998)
UitgeverijIEEE Computer Society
Pagina's172-183
ISBN van geprinte versie0-8186-8392-9
DOI's
StatusGepubliceerd - 1998
EvenementFourth International Symposium on Advanced Research in Asynchronous Circuits and Systems - San Diego, Verenigde Staten van Amerika
Duur: 30 mrt. 19882 apr. 1998
Congresnummer: 4th

Congres

CongresFourth International Symposium on Advanced Research in Asynchronous Circuits and Systems
Verkorte titelasync
Land/RegioVerenigde Staten van Amerika
StadSan Diego
Periode30/03/882/04/98

Vingerafdruk

Duik in de onderzoeksthema's van 'Analyzing specifications for delay-insensitive circuits'. Samen vormen ze een unieke vingerafdruk.

Citeer dit