How to Think about Self-Timed Systems
Sponsor
This research was funded in part by DARPA, “Flexible Specification, Analysis, and Implementation of Self-Timed Circuits”, sponsor award UTA17-000001, and in part by the Portland State University Foundation.
Published In
Signals, Systems, and Computers
Document Type
Citation
Publication Date
2017
Abstract
Self-timed systems divide nicely into two kinds of components: communication links that transport and store data, and computation joints that apply logic to data. We treat these two types of self-timed components as equally important. Putting communication on a par with computation acknowledges the increasing cost of data transport and storage in terms of energy, time, and area. Our clean separation of data transport and storage from logic simplifies the design and test of self-timed systems. The separation also helps one to grasp how self-timed systems work. We offer this paper in the hope that better understanding of self-timed systems will engage the minds of compiler, formal verification, and test experts.
Locate the Document
http://doi.org/10.1109/ACSSC.2017.8335628
DOI
10.1109/ACSSC.2017.8335628
Persistent Identifier
https://archives.pdx.edu/ds/psu/29893
Citation Details
Roncken, M., Sutherland, I., Chen, C., Hei, Y., Hunt, W., Chau, C., ... & Chen, H. (2017, October). How to think about self-timed systems. In Signals, Systems, and Computers, 2017 51st Asilomar Conference on (pp. 1597-1604). IEEE.
Description
2017 51st Asilomar Conference on Signals, Systems, and Computers