Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

BugMD: automatic mismatch diagnosis for bug triaging., , , , and . ICCAD, page 117. ACM, (2016)AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs., , , , and . ASP-DAC, page 45-50. IEEE, (2017)Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms., , , , , , , and . ICCAD, page 311-317. IEEE, (2013)ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability., , and . ISLPED, page 297-302. IEEE, (2015)Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation.. University of Michigan, USA, (2017)Approximating checkers for simulation acceleration., , , , , , and . DATE, page 153-158. IEEE, (2012)Schnauzer: scalable profiling for likely security bug sites., , , , and . CGO, page 24:1-24:11. IEEE Computer Society, (2013)Architectural Trace-Based Functional Coverage for Multiprocessor Verification., , , , , and . MTV, page 1-5. IEEE Computer Society, (2012)Post-Silicon Validation of Multiprocessor Memory Consistency., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (6): 1027-1037 (2015)