Author of the publication

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification.

, , and . HLDVT, page 91-95. 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

Post-Silicon Validation of the IBM POWER8 Processor., , , , , , , and . DAC, page 56:1-56:6. ACM, (2014)Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification., , and . HLDVT, page 91-95. IEEE Computer Society, (2003)Practical experiences in functional simulation. An integrated method from unit to co-simulation.. HLDVT, page 42-44. IEEE Computer Society, (2002)Formal Verification versus Simulation in Functional Verification -- An Industry Perspective.. MBMV, page 123-123. Shaker, (2002)The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process., , , , , , , , , and 2 other author(s). Haifa Verification Conference, volume 9434 of Lecture Notes in Computer Science, page 51-66. Springer, (2015)Simplified Authentication and Authorization for RESTful Services in Trusted Environments., , and . ESOCC, volume 7592 of Lecture Notes in Computer Science, page 244-258. Springer, (2012)Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification., , and . IBM Journal of Research and Development, 46 (4-5): 597-606 (2002)Addressing verification challenges of heterogeneous systems based on IBM POWER9., , , , , , , , , and 1 other author(s). IBM Journal of Research and Development, 62 (4/5): 11 (2018)POWER7 - Verification challenge of a multi-core processor.. ICCAD, page 809-812. ACM, (2009)Verification Challenges of Workload Optimized Hardware Systems.. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 4. Springer, (2011)