Author :
Cortadella, Jordi ; Galceran-Oms, Marc ; Kishinevsky, Mike
Author_Institution :
Univ. Politec. de Catalunya, Barcelona, Spain
Abstract :
Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new correct-by-construction transformations that cannot be applied to rigid non-elastic systems. The basics of synchronous and asynchronous elastic systems will be reviewed. A set of behavior-preserving transformations will be presented: retiming, recycling, early evaluation, variable-latency units and speculative execution. The application of these transformations for performance and power optimization will be discussed. Finally, a novel framework for microarchitectural exploration will be introduced, showing that the optimal pipelining of a circuit can be automatically obtained by using the previous transformations.
Keywords :
electronic design automation; asynchronous elastic system; behavior preserving transformation; communication delay; computation delay; optimal pipelining; performance optimization; power optimization; synchronous elastic system; Delay; Elasticity; Latches; Multiplexing; Receivers; Registers; Throughput;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on
Conference_Location :
Grenoble
Print_ISBN :
978-1-4244-7885-9
Electronic_ISBN :
978-1-4244-7886-6
DOI :
10.1109/MEMCOD.2010.5558639