Abstract
Speculative functional units (SFUs) are arithmetic functional units that operate using a predictor for the carry signal. The carry prediction helps to shorten the critical path of the functional unit. The average case performance of these units is determined by the hit rate of the prediction. In case of mispredictions, the SFUs need to be coordinated by the datapath control mechanism to perform corrections and to maintain the datapath in the correct state. Devising a control mechanism for correcting mispredictions without adversely impacting overall performance is the most important challenge. In this paper, we present techniques for designing a datapath controller for seamless deployment of SFUs in high level synthesis. We have developed two techniques based on two main control paradigms: centralized and distributed control. The centralized approach stops the execution of the entire datapath for each misprediction and resumes execution once the correct value of the carry is known. The distributed approach decouples the functional unit suffering from the misprediction from the rest of the datapath. Hence, it allows the remainder of the functional units to carry on execution and be at different scheduling states at different times. We tested datapaths utilizing both linear structures and logarithmic structures for speculative arithmetic functional units. Our results show that it is possible to reduce execution time by as much as 38% (33% on average) for linear structures and by as much as 37.2% (25% on average) for logarithmic structures.
Original language | English (US) |
---|---|
Article number | 5715599 |
Pages (from-to) | 350-363 |
Number of pages | 14 |
Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Volume | 30 |
Issue number | 3 |
DOIs | |
State | Published - Mar 2011 |
Funding
Manuscript received April 23, 2010; revised August 16, 2010; accepted September 30, 2010. Date of current version February 11, 2011. This work was supported in part by the Spanish Government, under Research Grant TIN 2008/00508, and in part by National Science Foundation, under Grant CNS-0546305. This paper was recommended by Associate Editor P. R. Panda.
Keywords
- Dynamic scheduling
- HLS
- speculation
ASJC Scopus subject areas
- Software
- Computer Graphics and Computer-Aided Design
- Electrical and Electronic Engineering