Biruk Mammo

According to our database, Biruk Mammo authored at least 9 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation.

Biruk Mammo

PhD thesis, 2017

AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs.

Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou, Valeria Bertacco

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

BugMD: automatic mismatch diagnosis for bug triaging.

Biruk Mammo, Milind Furia, Valeria Bertacco, Scott A. Mahlke, Daya Shanker Khudia

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

Post-Silicon Validation of Multiprocessor Memory Consistency.

Biruk W. Mammo, Valeria Bertacco, Andrew DeOrio, Ilya Wagner

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability.

Biruk Mammo, Ritesh Parikh, Valeria Bertacco

Proceedings of the IEEE/ACM International Symposium on Low Power Electronics and Design, 2015

2013

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.

Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Schnauzer: scalable profiling for likely security bug sites.

William Arthur, Biruk Mammo, Ricardo Rodríguez Jorge, Todd M. Austin, Valeria Bertacco

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Architectural Trace-Based Functional Coverage for Multiprocessor Verification.

Biruk Mammo, Jim Larimer, Matthew Morgan, Dave Fan, Eric Hennenhoefer, Valeria Bertacco

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

Approximating checkers for simulation acceleration.

Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012