Biruk W. Mammo
Title
Cited by
Cited by
Year
BugMD: Automatic mismatch diagnosis for bug triaging
B Mammo, M Furia, V Bertacco, S Mahlke, DS Khudia
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-7, 2016
112016
Post-silicon validation of multiprocessor memory consistency
BW Mammo, V Bertacco, A DeOrio, I Wagner
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015
112015
Approximating checkers for simulation acceleration
B Mammo, D Chatterjee, D Pidan, A Nahir, A Ziv, R Morad, V Bertacco
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 153-158, 2012
62012
Reining in the functional verification of complex processor designs with automation, prioritization, and approximation
BW Mammo
32017
Schnauzer: scalable profiling for likely security bug sites
W Arthur, B Mammo, R Rodriguez, T Austin, V Bertacco
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013
22013
Architectural trace-based functional coverage for multiprocessor verification
B Mammo, J Larimer, M Morgan, D Fan, E Hennenhoefer, V Bertacco
2012 13th International Workshop on Microprocessor Test and Verification …, 2012
22012
AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs
B Mammo, D Lee, H Davis, Y Hou, V Bertacco
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 45-50, 2017
12017
Redeem: A heterogeneous distributed microarchitecture for energy-efficient reliability
B Mammo, R Parikh, V Bertacco
2015 IEEE/ACM International Symposium on Low Power Electronics and Design …, 2015
12015
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms
D Chatterjee, B Mammo, D Lee, R Gal, R Morad, A Nahir, A Ziv, ...
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 311-317, 2013
12013
Schnauzer: Scalable profiling for likely security bug sites
V Bertacco, R Rodriguez, W Arthur, B Mammo, T Austin
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–10