Analyzing isochronic forks with potential causality

Rajit Manohar, Yoram Moses

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

Abstract

Asynchrony and concurrency are fundamental notions in the fields of asynchronous circuits as well as distributed systems. This paper treats asynchronous circuits as a special class of distributed systems. We adapt the distributed systems notion of potential causality to asynchronous circuits, and use it to provide a formal proof of the precise nature of the isochronic fork timing assumption in quasi delay-insensitive (QDI) circuits. Our proofs provide a transparent analysis that provides better intuition regarding the operation of QDI circuits. We build on our theory to rigorously establish several "folk theorems" about identifying isochronic forks in QDI circuits.

Original languageEnglish
Title of host publicationProceedings - 21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015
Pages69-76
Number of pages8
ISBN (Electronic)9781479987153
DOIs
StatePublished - 2015
Event21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015 - Mountain View, United States
Duration: 4 May 20156 May 2015

Publication series

NameProceedings - International Symposium on Asynchronous Circuits and Systems
Volume2015-January

Conference

Conference21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015
Country/TerritoryUnited States
CityMountain View
Period4/05/156/05/15

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Analyzing isochronic forks with potential causality'. Together they form a unique fingerprint.

Cite this