Biruk Mammo
According to our database1,
Biruk Mammo
authored at least 9 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation.
PhD thesis, 2017
AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017
2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
2015
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015
ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability.
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.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013
2012
Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012