Publications (10)0 Total impact
-
Conference Proceeding: Threadmill: a post-silicon exerciser for multi-threaded processors.
Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011; 01/2011 -
Conference Proceeding: A unified methodology for pre-silicon verification and post-silicon validation.
Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011; 01/2011 -
Conference Proceeding: Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor.
Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011; 01/2011 -
Conference Proceeding: Reaching Coverage Closure in Post-silicon Validation.
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers; 01/2010 -
Conference Proceeding: Advances in Simultaneous Multithreading Testcase Generation Methods.
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers; 01/2010 -
Conference Proceeding: A Framework for the Validation of Processor Architecture Compliance.
Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007; 01/2007 -
Conference Proceeding: A generic micro-architectural test plan approach for microprocessor verification.
Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005; 01/2005 -
Conference Proceeding: VLIW: a case study of parallelism verification.
Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005; 01/2005 -
Article: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Design & Test of Computers. 01/2004; 21:84-93. -
Article: Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture.
IEEE Trans. Parallel Distrib. Syst. 01/2003; 14:502-515.
Institutions
-
2005–2007
-
University of Haifa
Haifa, Haifa District, Israel
-