Searching for authors named Zaher S. Andraus – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Microprocessor Verification Based on Datapath Abstraction and Refinement
- … and Refinement Zaher S. Andraus, Mark H. Liffiton, and Karem A. Sakallah Department of Electrical Engineering…
- Add To MetaCart
-
From Max-SAT to Min-UNSAT: Insights and Applications
- …���From Max-SAT to Min-UNSAT: Insights and Applications Mark H. Liffiton, Zaher S. Andraus, Karem A…
- Cited by 2 (2 self) – Add To MetaCart
-
Refinement strategies for verification methods based on datapath abstraction
- …���Refinement Strategies for Verification Methods Based on Datapath Abstraction Zaher S. Andraus…
- Cited by 6 (1 self) – Add To MetaCart
-
CEGAR-Based Formal Hardware Verification: A Case Study
- …���CEGAR-Based Formal Hardware Verification: A Case Study Zaher S. Andraus, Mark H. Liffiton, Karem A…
- Cited by 1 (1 self) – Add To MetaCart
-
31.1 AMUSE: A Minimally-Unsatisfiable Subformula Extractor
- …���31.1 AMUSE: A Minimally-Unsatisfiable Subformula Extractor Yoonna Oh, Maher N. Mneimneh, Zaher S…
- Add To MetaCart
-
AMUSE: a minimally-unsatisfiable subformula extractor
- …���AMUSE: A Minimally-Unsatisfiable Subformula Extractor Yoonna Oh, Maher N. Mneimneh, Zaher S…
- Cited by 16 (3 self) – Add To MetaCart
Showing 1 through 6.
