Title
Automatic pipelining from transactional datapath specifications
Abstract
We present a transactional datapath specification (T-spec) and the tool (T-piper) to synthesize automatically an in-order pipelined implementation from it. T-spec abstractly views a datapath as executing one transaction at a time, computing next system states based on current ones. From a T-spec, T-piper can synthesize a pipelined implementation that preserves original transaction semantics, while allowing simultaneous execution of multiple overlapped transactions across pipeline stages. T-piper not only ensures the correctness of pipelined executions, but can also employ forwarding and speculation to minimize performance loss due to data dependencies. Design case studies on RISC and CISC processor pipeline development are reported.
Year
DOI
Venue
2010
10.1109/TCAD.2010.2088950
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems
Keywords
DocType
Volume
pipeline processing,reduced instruction set computing,CISC processor pipeline development,RISC,T-piper,T-spec,automatic pipelining,transactional datapath specifications
Conference
30
Issue
ISSN
Citations 
3
0278-0070
10
PageRank 
References 
Authors
0.65
19
4
Name
Order
Citations
PageRank
Eriko Nurvitadhi139933.08
James C. Hoe22048141.34
Timothy Kam318617.26
Shih-Lien L. Lu4555.39