Formal Techniques for Effective Co-verification of Hardware/Software Co-designs
- Rajdeep Mukherjee
- Mitra Purandare
- et al.
- 2017
- DAC 2017
Conference paper
Publications
4 results at DAC 2017
Template Aware Coverage: Taking Coverage Analysis to the Next Level
- Raviv Gal
- Einat Kermany
- et al.
- 2017
- DAC 2017
Conference paperRIC: Relaxed Inclusion Caches for Mitigating LLC Side-Channel Attacks
- Mehmet Kayaalp
- Khaled N. Khasawneh
- et al.
- 2017
- DAC 2017
Conference paperINVITED: Accelerator Design for Deep Learning Training: Extended Abstract: Invited
- Ankur Agrawal
- Chia-Yu Chen
- et al.
- 2017
- DAC 2017
Conference paper