Searching for authors named "Gil Shurek" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Generating Concurrent Test-Programs with Collisions for Multi-Processor Verification
- …, IBM Research Laboratory in Haifa, adir@(email omitted); Gil Shurek, IBM Research Laboratory in Haifa, shurek…
- Cited by 3 (1 self) – Add To MetaCart
-
Using a Constraint Satisfaction Formulation and Solution Techniques for Random Test Program Generation
- … test template would be a set of tests that exercise by E. Bin R. Emek G. Shurek A. Ziv the data cache…
- Cited by 12 (5 self) – Add To MetaCart
-
Constraint Satisfaction for Test Program Generation
- … * Laurent Fournier Moshe Levinger Evgeny Roytman Gil Shurek IBM Israel Science and Technology, Haifa…
- Cited by 3 (0 self) – Add To MetaCart
-
Test Program Generation for Functional Verification of PowerPC Processors in IBM
- …, Gil Shurek A new methodology and test program generator have been used for the functional verification…
- Cited by 28 (1 self) – Add To MetaCart
Showing 1 through 4.
