How to Think about Self-Timed Systems
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.
Signals, Systems, and Computers
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
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.