Author of the publication

A generic micro-architectural test plan approach for microprocessor verification.

, , , , and . DAC, page 769-774. ACM, (2005)

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

Micro-Architecture Verification for Microprocessors., and . MTV, page 112-113. IEEE Computer Society, (2004)Ontology-Based Tools in the Service of Hardware Verification., , , , , , , , and . SEKE, page 303-308. Knowledge Systems Institute Graduate School, (2010)Generating Random Solutions for Constraint Satisfaction Problems., , , and . AAAI/IAAI, page 15-21. AAAI Press / The MIT Press, (2002)Guaranteeing High Availability Goals for Virtual Machine Placement., , , , , , and . ICDCS, page 700-709. IEEE Computer Society, (2011)An ontology and constraint based approach to cache preloading., , , and . HLDVT, page 129-136. IEEE Computer Society, (2010)Piparazzi: a test program generator for micro-architecture flow verification., , , and . HLDVT, page 23-28. IEEE Computer Society, (2003)A generic micro-architectural test plan approach for microprocessor verification., , , , and . DAC, page 769-774. ACM, (2005)Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size., , and . CP, volume 10416 of Lecture Notes in Computer Science, page 55-70. Springer, (2017)On Defining Rules for Cancer Data Fabrication., , , and . RuleML+RR, volume 12173 of Lecture Notes in Computer Science, page 168-176. Springer, (2020)