Title | ||
---|---|---|
Automatic multithreaded pipeline synthesis from transactional datapath specifications |
Abstract | ||
---|---|---|
We present a technique to automatically synthesize a multithreaded in-order pipeline from a high-level unpipelined datapath specification. This work extends the previously proposed transactional specification (T-spec) and synthesis technology (T-piper). The technique not only works with instruction processors but also flexible enough to accept any sequential datapath. It maintains previously proposed non-threaded pipeline features and is enhanced with multithreading features. We report a design space exploration study of 32 multithreaded x86 processor pipelines, all synthesized from a single T-spec. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1837274.1837356 | Design Automation Conference |
Keywords | Field | DocType |
non-threaded pipeline feature,sequential datapath,automatic multithreaded pipeline synthesis,design space exploration study,x86 processor pipeline,single t-spec,multithreading feature,transactional specification,multithreaded in-order pipeline,high-level unpipelined datapath specification,instruction processor,transactional datapath specification,instruction sets,multithreading,field programmable gate arrays,hardware,prototypes,multi threading,space exploration,formal specification,space technology,transaction processing | x86,Multithreading,Pipeline transport,Datapath,Computer science,Instruction set,Finite state machine with datapath,Parallel computing,Formal specification,Real-time computing,Design space exploration | Conference |
ISSN | ISBN | Citations |
0738-100X | 978-1-4244-6677-1 | 6 |
PageRank | References | Authors |
0.50 | 16 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Eriko Nurvitadhi | 1 | 399 | 33.08 |
James C. Hoe | 2 | 2048 | 141.34 |
Shih-Lien L. Lu | 3 | 55 | 5.39 |
Timothy Kam | 4 | 186 | 17.26 |