MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ziyad Hanna" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

SAT-based methods for sequential hardware equivalence verification without synchronization
by Zurab Khasidashvili, Ziyad Hanna — 2003 — Electronic Notes in Theoretical Computer Science
… Synchronization Abstract Zurab Khasidashvili and Ziyad Hanna Logic and Validation Technology Design Technology…
Cited by 6 (2 self) – Add To MetaCart

Tools Day
by Ivana Cerna, Fi Mu, Ivana Černá, Ziyad Hanna — 2002
… and needs. Eight regular papers, together with keynote presentations by Ziyad Hanna and Kim G. Larsen, form…
Add To MetaCart

Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints
by Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna — 2004 — In Proceedings of the International Conference on Computer-Aided Design
… 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
by Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna — 2006 — In FMCAD
… Skaba, Daher Kaiss, Ziyad Hanna Intel, IDC, Haifa, Israel {zurabk, smarcelo, dkaiss, zhanna…
Cited by 2 (0 self) – Add To MetaCart

Towards a better understanding of the functionality of a conflict-driven SAT solver
by Nachum Dershowitz, Ziyad Hanna, Er Nadel — 2007 — of Lecture Notes in Computer Science
… Dershowitz 1,3 , Ziyad Hanna 2 , and Alexander Nadel 1,2 1 School of Computer Science, Tel Aviv University…
Cited by 1 (1 self) – Add To MetaCart

A Proof Engine Approach to Solving Combinational Design Automation Problems
by Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna — 2002
…, Per Bjesse, Byron Cook Prover Technology {guan,bjesse,byron}@(email omitted); Ziyad Hanna Intel Corporation…
Cited by 12 (1 self) – Add To MetaCart

A scalable algorithm for minimal unsatisfiable core extraction
by Nachum Dershowitz, Ziyad Hanna, Er Nadel — 2006 — In Proc. SAT’06
…A Scalable Algorithm for Minimal Unsatisfiable Core Extraction ⋆ Nachum Dershowitz 1 , Ziyad Hanna…
Cited by 6 (1 self) – Add To MetaCart

A clause-based heuristic for SAT solvers
by Nachum Dershowitz, Ziyad Hanna, Er Nadel — 2005 — In Int. Conf. on Theory and Applications of Satisfiability Testing (SAT
…A Clause-Based Heuristic for SAT Solvers Nachum Dershowitz 1 , Ziyad Hanna 2 , Alexander Nadel 1…
Cited by 8 (4 self) – Add To MetaCart

A signal correlation guided circuit-sat solver
by Feng Lu, Li-c. Wang, Kwang-ting (tim Cheng, John Moondanos, Ziyad Hanna — 2004 — J. UCS
….S.A. lufeng|licwang|timcheng@(email omitted);) John Moondanos, Ziyad Hanna (Intel Corporation john.moondanos|ziyad.hanna…
Cited by 2 (0 self) – Add To MetaCart

A lazy and layered SMT(BV) solver for hard industrial verification problems
by Roberto Bruttomesso, Ro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Er Nadel, Amit Palti, Roberto Sebastiani — 2007 — In Computer Aided Verification (CAV), LNCS
… 1 , Alessandro Cimatti 1 , Anders Franzén 1,2 , Alberto Griggio 2 , Ziyad Hanna 3 , Alexander Nadel…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB