@inproceedings{127cbe802d7845ad8485b6893bdf6994,
title = "Analyzing isochronic forks with potential causality",
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.",
author = "Rajit Manohar and Yoram Moses",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015 ; Conference date: 04-05-2015 Through 06-05-2015",
year = "2015",
doi = "https://doi.org/10.1109/ASYNC.2015.19",
language = "الإنجليزيّة",
series = "Proceedings - International Symposium on Asynchronous Circuits and Systems",
pages = "69--76",
booktitle = "Proceedings - 21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015",
}