no way to compare when less than two revisions
Differences
This shows you the differences between two versions of the page.
Next revision | |||
— | pipeline_synthesis_from_transaction-based_specifications [2017/09/29 14:11] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Pipeline Synthesis From Transaction-based Specifications ====== | ||
+ | Pipelining is a classic and widely used microarchitectural optimization to improve performance and efficiency. Pipelining a datapath by hand is tedious and error prone, as it requires the designer to reason about subtle corner cases when sequentially dependent operations are processed concurrently in different pipeline stages. Adding pipeline optimizations such as forwarding, speculation, | ||
+ | |||
+ | * **Student** | ||
+ | * [[http:// | ||
+ | * **T-piper tools, examples and tutorials** ([[http:// | ||
+ | * **Publications** | ||
+ | * **Integrating Formal Verification and High-Level Processor Pipeline Synthesis**. E. Nurvitadhi, J. C. Hoe, S. L. Lu and T. Kam. Symposium on Application Specific Processors (SASP), June 2011. ([[http:// | ||
+ | * **Automatic Pipelining from Transactional Datapath Specifications**. E. Nurvitadhi, J. C. Hoe, T. Kam, S. L. Lu. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, Volume 30, Number 3,March 2011. ([[http:// | ||
+ | * **Automatic Pipeline Synthesis and Formal Verification from Transactional Datapath Specifications**. E. Nurvitadhi, PhD Thesis, December 2010. ([[http:// | ||
+ | * **Automatic Multithreaded Pipeline Synthesis from Transactional Datapath Specifications**. E. Nurvitadhi, J. C. Hoe, S. L. Lu and T. Kam. Design Automation Conference (DAC), June 2010. ([[http:// | ||
+ | * **Automatic Pipelining from Transactional Datapath Specifications**. E. Nurvitadhi, J. C. Hoe, T. Kam and S. L. Lu. Design Automation and Test in Europe (DATE) , March 2010. ([[http:// | ||
+ |