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

Panel: Software practices for verification/testbench management., , , , , and . HLDVT, page 35-37. IEEE Computer Society, (2008)Distance-Guided Hybrid Verification with GUIDO.. HLDVT, page 151. IEEE Computer Society, (2006)SoCGuard: A runtime verification solution for the functional correctness of SoCs., and . VLSI-SoC, page 49-54. IEEE, (2010)Post-silicon bug diagnosis with inconsistent executions., , and . ICCAD, page 755-761. IEEE Computer Society, (2011)ReliNoC: A reliable network for priority-based on-chip communication., , and . DATE, page 667-672. IEEE, (2011)On the use of GP-GPUs for accelerating compute-intensive EDA applications., , , , , , and . DATE, page 1357-1366. EDA Consortium San Jose, CA, USA / ACM DL, (2013)InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization., , , and . ISQED, page 487-494. IEEE Computer Society, (2007)MCjammer: Adaptive Verification for Multi-core Designs., and . DATE, page 670-675. ACM, (2008)Verification Failures: What to Do When Things Go Wrong.. Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 23. Springer, (2010)Heterogeneous Memory Subsystem for Natural Graph Analytics., , , and . IISWC, page 134-145. IEEE Computer Society, (2018)