Automatic microarchitectural pipelining

  title={Automatic microarchitectural pipelining},
  author={Marc Galceran Oms and Jordi Cortadella and Dmitry Bufistov and Michael Kishinevsky},
  journal={2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)},
This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct transformations including conversion to a synchronous elastic form, early evaluation, inserting empty buffers, anti-tokens, and retiming. The design exploration is done by solving an optimization problem followed by simulation of solutions. The method is explained on a DLX microprocessor example. The impact of different… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 10 extracted citations

Automated Iterative Pipelining for ASIC Design

ACM Trans. Design Autom. Electr. Syst. • 2015
View 4 Excerpts
Highly Influenced

Automated extra pipeline analysis of applications mapped to Xilinx UltraScale+ FPGAs

2016 26th International Conference on Field Programmable Logic and Applications (FPL) • 2016
View 1 Excerpt

Pipelining for dual supply voltages

2016 26th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) • 2016
View 1 Excerpt

Power-Aware Automated Pipelining of Combinational Circuits

2014 Fifth International Symposium on Electronic System Design • 2014
View 1 Excerpt

Elastic systems

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) • 2010
View 1 Excerpt


Publications referenced by this paper.
Showing 1-2 of 2 references