Checking architectural outputs instruction-by-instruction on acceleration platforms
- Debapriya Chatterjee
- Anatoly Koyfman
- et al.
- 2012
- DAC 2012
Publications
Date
Featured collections
Popular topics
8 results at DAC 2012
Proving correctness of regular expression accelerators
- Mitra Purandare
- Kubilay Atasu
- et al.
- 2012
- DAC 2012
Timing analysis with nonseparable statistical and deterministic variations
- Vladimir Zolotov
- Debjit Sinha
- et al.
- 2012
- DAC 2012
A compiler and runtime for heterogeneous computing
- Joshua Auerbach
- David F. Bacon
- et al.
- 2012
- DAC 2012
Reversible statistical max/min operation: Concept and applications to timing
- Debjit Sinha
- Chandu Visweswariah
- et al.
- 2012
- DAC 2012
Near-threshold operation for power-efficient computing? It depends...
- Leland Chang
- Wilfried Haensch
- 2012
- DAC 2012
Analysis of DC current crowding in through-silicon-vias and its impact on power integrity in 3D ICs
- Xin Zhao
- Michael Scheuermann
- et al.
- 2012
- DAC 2012
Yield estimation via multi-cones
- Rouwaida Kanj
- Rajiv Joshi
- et al.
- 2012
- DAC 2012