Searching for authors named "Daher Kaiss" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints
- … of Design Constraints Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna Intel, IDC, Haifa, Israel…
- Cited by 8 (2 self) – Add To MetaCart
-
Post-reboot equivalence and compositional verification of hardware
- … Skaba, Daher Kaiss, Ziyad Hanna Intel, IDC, Haifa, Israel {zurabk, smarcelo, dkaiss, zhanna…
- Cited by 2 (0 self) – Add To MetaCart
-
Boolean Ring Satisfiability
- …,⋆⋆ , and Daher Kaiss 1 1 School of Computer Science, Tel Aviv University, Ramat Aviv, Israel, {nachumd…
- Cited by 1 (0 self) – Add To MetaCart
-
Boolean Rings for Intersection-Based Satisfiability
- …-Shieng Huang 3,⋆⋆⋆ , and Daher Kaiss 4 1 School of Computer Science, Tel Aviv University, Ramat Aviv, Israel…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
