Biruk Mammo

Most-cited papers

BugMD: Automatic Mismatch Diagnosis for Bug triaging
Biruk Mammo, Milind Furia, V. Bertacco, S. Mahlke +1 more
20162016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)17 citations
Semantic Scholar
Post-Silicon Validation of Multiprocessor Memory Consistency
Biruk Mammo, V. Bertacco, Andrew DeOrio, I. Wagner
2015IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems11 citations Open access
Semantic Scholar
Approximating checkers for simulation acceleration
Biruk Mammo, Debapriya Chatterjee, D. Pidan, Amir Nahir +3 more
2012Design, Automation and Test in Europe7 citations
Semantic Scholar
Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation
Biruk Mammo
20175 citations
Semantic Scholar
Schnauzer: scalable profiling for likely security bug sites
V. Bertacco, Ricardo Rodriguez, W. Arthur, Biruk Mammo +1 more
2013IEEE/ACM International Symposium on Code Generation and Optimization3 citations
Semantic Scholar
Architectural Trace-Based Functional Coverage for Multiprocessor Verification
Biruk Mammo, Jim Larimer, M. Morgan, Da-juan Fan +2 more
2012International Workshop on Microprocessor Test and Verification3 citations Open access
Semantic Scholar
ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability
Biruk Mammo, Ritesh Parikh, V. Bertacco
2015International Symposium on Low Power Electronics and Design1 citations
Semantic Scholar
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal +4 more
20132013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)1 citations Open access
Semantic Scholar
AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs
Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou +1 more
2017Asia and South Pacific Design Automation Conference0 citations
Semantic Scholar