Addressing verification challenges of heterogeneous systems based on IBM POWER9
- Klaus-Dieter Schubert
- S.S. Abrar
- et al.
- 2018
- IBM J. Res. Dev
Publications
5 results for Debapriya Chatterjee
ArChiVED: Architectural checking via event digests for high performance validation
- Chang-Hong Hsu
- Debapriya Chatterjee
- et al.
- 2014
- DATE 2014
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