Derivation of Efficient FSM from Loop Nests

Abstract : Pipelined execution is one of the most important optimizations in hardware design to improve hardware utilization rate, and hence the throughput. Loop pipelining is a transformation available in High Level Synthesis tools to execute multiple iterations of a loop in a pipeline. Nested loop pipelining is a related technique that improves hardware utilization rate when the iteration count of the inner most loop is small. However, it is also known to increase the complexity of the control, and hence degrading frequency. In this paper, we present an automatic transformation targe ting HLS that improves the effectiveness of nested loop pipelining, by efficient implementations of the control-path. Specifically, we present (i) an analytical model that captures the trade-off between gain in cycles and loss in frequency, (ii), automatic derivation of efficient Finite State Machine from loop nests, and (iii) an efficient implementation of the derived FSM that improves the performance of synthesized hardware.
Type de document :
Communication dans un congrès
International Conference on Field-Programmable Technology (ICFPT), Dec 2013, Kyoto, Japan. IEEE, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00921446
Contributeur : François Charot <>
Soumis le : vendredi 20 décembre 2013 - 14:13:28
Dernière modification le : jeudi 15 novembre 2018 - 11:57:39

Identifiants

  • HAL Id : hal-00921446, version 1

Citation

Tomofumi Yuki, Antoine Morvan, Steven Derrien. Derivation of Efficient FSM from Loop Nests. International Conference on Field-Programmable Technology (ICFPT), Dec 2013, Kyoto, Japan. IEEE, 2013. 〈hal-00921446〉

Partager

Métriques

Consultations de la notice

215