ArChiVED: Architectural checking via event digests for high performance validation
- Chang-Hong Hsu
- Debapriya Chatterjee
- et al.
- 2014
- DATE 2014
Publications
5 results for Valeria Bertacco
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms
- Debapriya Chatterjee
- Biruk Mammo
- et al.
- 2013
- ICCAD 2013
Checking architectural outputs instruction-by-instruction on acceleration platforms
- Debapriya Chatterjee
- Anatoly Koyfman
- et al.
- 2012
- DAC 2012
Approximating checkers for simulation acceleration
- Biruk Mammo
- Debapriya Chatterjee
- et al.
- 2012
- DATE 2012
Bridging pre-silicon verification and post-silicon validation
- Amir Nahir
- Avi Ziv
- et al.
- 2010
- DAC 2010