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