Verification of transactional memory in POWER8
- Allon Adir
- Dave Goodman
- et al.
- 2014
- DAC 2014
Publications
Date
Featured collections
Popular topics
9 results at DAC 2014
A time-unrolling method to compute sensitivity of dynamic systems
- Frank Liu
- Peter Feldmann
- 2014
- DAC 2014
Row based dual-vdd island generation and placement
- Hua Xiang
- Haifeng Qian
- et al.
- 2014
- DAC 2014
Verification of non-mainline functions in todays processor chips
- Johannes Koesters
- Alex Goryachev
- 2014
- DAC 2014
A new field-assisted access scheme of STT-RAM with self-reference capability
- Enes Eken
- Yaojun Zhang
- et al.
- 2014
- DAC 2014
Scalable co-simulation of functional models with accurate event exchange
- Asim Munawar
- Shuichi Shimizu
- 2014
- DAC 2014
Using a high-level test generation expert system for testing in-car networks
- Allon Adir
- Alex Goryachev
- et al.
- 2014
- DAC 2014
Post-Silicon validation of the IBM Power8 processor
- Amir Nahir
- Manoj Dusanapudi
- et al.
- 2014
- DAC 2014
Tacue: A timing-aware cuts enumeration algorithm for parallel synthesis
- Mahmoud Elbayoumi
- Mihir Choudhuryy
- et al.
- 2014
- DAC 2014