Searching for authors named "Gila Kamhi" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Temporal Language for SystemC
- …-132 Houston, TX 77005-1892 dtabakov@(email omitted); Gila Kamhi Design Technology and Solutions Division…
- Add To MetaCart
-
A Hybrid Verification Approach : Getting Deep into the Design
- … of Computer Science University of the Witwatersrand Johannesburg, South Africa scott@(email omitted); Gila Kamhi…
- Cited by 11 (0 self) – Add To MetaCart
-
PowerQuest: Trace Driven Data Mining for Power Optimization
- …PowerQuest: Trace Driven Data Mining for Power Optimization Pietro Babighian Gila Kamhi Moshe…
- Cited by 1 (1 self) – Add To MetaCart
-
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction ⋆
- …Intelligate: Scalable Dynamic Invariant Learning for Power Reduction ⋆ Roni Wiener, Gila Kamhi…
- Add To MetaCart
-
Is There a Best Symbolic Cycle-Detection Algorithm?
- …Is There a Best Symbolic Cycle-Detection Algorithm? Kathi Fisler 1;4 , Ranan Fraer 2 , Gila…
- Cited by 15 (2 self) – Add To MetaCart
-
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
- … Glusman 1;2 , Gila Kamhi 2 , Sela Mador-Haim 2 , Ranan Fraer 2 , and Moshe Y. Vardi 3? 1…
- Cited by 19 (0 self) – Add To MetaCart
-
Prioritized traversal: Efficient reachability analysis for verification and falsification
- … Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi* 1 , Limor Fix Logic and Validation Technology, Intel…
- Cited by 14 (5 self) – Add To MetaCart
Showing 1 through 7.
