Loading...
Loading...

Go to the content (press return)

Correct-by-construction microarchitectural pipelining

Author
Kam, T.; Kishinevsky, M.; Cortadella, J.; Galceran, M.
Type of activity
Presentation of work at congresses
Name of edition
2008 International Conference on Computer Aided Design
Date of publication
2008
Presentation's date
2008
Book of congress proceedings
2008 IEEE/ACM International Conference on Computer-Aided Design: digest of technical papers
First page
434
Last page
441
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/ICCAD.2008.4681612
Repository
http://hdl.handle.net/2117/130965 Open in new window
URL
https://ieeexplore.ieee.org/document/4681612 Open in new window
Abstract
This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines previously known bypass and retiming transformations with a few transformations valid only for elastic systems with early evaluation (namely, empty FIFO insertion, FIFO capacity sizing, insertion of anti-tokens, and introducing early evaluation multiplexors). By converting the design to a synchronous elastic form and then app...
Citation
Kam, T. [et al.]. Correct-by-construction microarchitectural pipelining. A: IEEE/ACM International Conference on Computer-Aided Design. "2008 IEEE/ACM International Conference on Computer-Aided DesignDigest of Technical Papers". Institute of Electrical and Electronics Engineers (IEEE), 2008, p. 434-441.
Keywords
Delay, Distributed control, Hazards, Logic, Microarchitecture, Pipeline processing, Radio frequency, Synchronous generators, Systolic arrays, Throughput
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Kam, Timothy  (author and speaker )
  • Kishinevsky, Michael  (author and speaker )
  • Cortadella Fortuny, Jordi  (author and speaker )
  • Galceran Oms, Marc  (author and speaker )

Attachments