( en | de | ru )

 

Disambiguation of "Shurek, Gil"

Author of the publication

copydeleteadd this publication to your clipboard
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.

, , , , , , , , , , , and . Haifa Verification Conference, volume 9434 of Lecture Notes in Computer Science, page 51-66. Springer, (2015)

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.

Mariana Gil

Horst Gil

Gil Benkö

Isabelle Gil

Gil Westermeyer

 

Other publications of authors with the same name

A unified methodology for pre-silicon verification and post-silicon validation., , , , , , , and . DATE, page 1590-1595. IEEE, (2011)The Modular Framework of Computer-Aided Verification., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 359-380. DIMACS/AMS, (1990)Test Program Generation for Functional Verification of PowerPC Processors in IBM., , , , , , , and . DAC, page 279-285. ACM Press, (1995)Ontology-Based Tools in the Service of Hardware Verification., , , , , , , , and . SEKE, page 303-308. Knowledge Systems Institute Graduate School, (2010)An ontology and constraint based approach to cache preloading., , , and . HLDVT, page 129-136. IEEE Computer Society, (2010)Threadmill: a post-silicon exerciser for multi-threaded processors., , , , , , and . DAC, page 860-865. ACM, (2011)Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor., , , , , and . DAC, page 569-574. ACM, (2011)A New Test-Generation Methodology for System-Level Verification of Production Processes., , , , and . Haifa Verification Conference, volume 7857 of Lecture Notes in Computer Science, page 178-192. Springer, (2012)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)Constraint-Based Random Stimuli Generation for Hardware Verification., , , , , , and . AAAI, page 1720-1727. AAAI Press, (2006)