How to think about self-timed systems

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...

Full description

Saved in:
Bibliographic Details
Published in2017 51st Asilomar Conference on Signals, Systems, and Computers pp. 1597 - 1604
Main Authors Roncken, Marly, Sutherland, Ivan, Chen, Chris, Hei, Yong, Hunt, Warren, Chau, Cuong, Gilla, Swetha Mettala, Park, Hoon, Song, Xiaoyu, He, Anping, Chen, Hong
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2017
Subjects
Data models
Data structures
Delays
Integrated circuit modeling
Microelectronics
Task analysis
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2576-2303
DOI:10.1109/ACSSC.2017.8335628