Author of the publication

Piparazzi: a test program generator for micro-architecture flow verification.

, , , and . HLDVT, page 23-28. IEEE Computer Society, (2003)

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

Placement and Routing for a Field Programmable Multi-Chip Module., , and . DAC, page 295-300. ACM Press, (1994)Defining coverage views to improve functional coverage analysis., , and . DAC, page 41-44. ACM, (2004)Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation., , and . Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 16-33. Springer, (2006)Template Aware Coverage: Taking Coverage Analysis to the Next Level., , , , , and . DAC, page 36:1-36:6. ACM, (2017)Using Machine Learning Clustering To Find Large Coverage Holes., , and . MLCAD, page 139-144. ACM, (2020)Analysis of Checkpointing Schemes for Multiprocessor Systems., and . SRDS, page 52-61. IEEE Computer Society, (1994)Stimuli Generation with Late Binding of Values.. DATE, page 558-563. IEEE Computer Society, (2004)Probabilistic Alternative Regression Suites., , , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 89-91. Department of Computer Science, University of Cyprus, (2004)Verification of Transactional Memory in POWER8., , , , , , , , , and 7 other author(s). DAC, page 58:1-58:6. ACM, (2014)Optimizing test-generation to the execution platform., , and . ASP-DAC, page 304-309. IEEE, (2012)