Biruk Mammo

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms

Avi Ziv, Valeria Bertacco, Biruk Mammo, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Post-Silicon Validation of Multiprocessor Memory Consistency

Valeria Bertacco, Biruk Mammo, Andrew DeOrio, 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

BugMD: Automatic Mismatch Diagnosis for Bug triaging

Scott A. Mahlke, Valeria Bertacco, Biruk Mammo, 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Approximating checkers for simulation acceleration

Avi Ziv, Valeria Bertacco, Biruk Mammo, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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

Biruk Wendimagegn Mammo, Biruk Mammo, 2017 .