An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability
Feijun Zheng, Kwang-Ting Cheng, Xiaolang Yan, Moondanos, J., Hanna, Z.
Published in 16th Asian Test Symposium (ATS 2007) (01.10.2007)
Published in 16th Asian Test Symposium (ATS 2007) (01.10.2007)
Get full text
Conference Proceeding
Parallel Multithreaded Satisfiability Solver: Design and Implementation
Feldman, Yulik, Dershowitz, Nachum, Hanna, Ziyad
Published in Electronic notes in theoretical computer science (19.04.2005)
Published in Electronic notes in theoretical computer science (19.04.2005)
Get full text
Journal Article
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
Dershowitz, Nachum, Hanna, Ziyad, Nadel, Alexander
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Democratization of formal verification with collective intelligence
Get full text
Conference Proceeding
Simultaneous SAT-Based Model Checking of Safety Properties
Khasidashvili, Zurab, Nadel, Alexander, Palti, Amit, Hanna, Ziyad
Published in Hardware and Software, Verification and Testing (2006)
Published in Hardware and Software, Verification and Testing (2006)
Get full text
Book Chapter
Conference Proceeding
Equivalence verification
Hanna, Ziyad
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA (01.01.2002)
Get full text
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA (01.01.2002)
Conference Proceeding
A symbolic execution framework for algorithm-level modelling
Hanna, Z., Melham, T.
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01.11.2009)
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01.11.2009)
Get full text
Conference Proceeding
A Clause-Based Heuristic for SAT Solvers
Dershowitz, Nachum, Hanna, Ziyad, Nadel, Alexander
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Seqver : A Sequential Equivalence Verifier for Hardware Designs
Kaiss, Daher, Goldenberg, Silvian, Hanna, Ziyad, Khasidashvili, Zurab
Published in 2006 International Conference on Computer Design (01.10.2006)
Published in 2006 International Conference on Computer Design (01.10.2006)
Get full text
Conference Proceeding
A proof engine approach to solving combinational design automation problems
Andersson, Gunnar, Bjesse, Per, Cook, Byron, Hanna, Ziyad
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Get full text
Conference Proceeding
System, method, and computer program product for generating a formal verification model
Farah, Habeeb, Chen, Benjamin Meng-Ching, Hanna, Ziyad, Mukherjee, Rajdeep
Year of Publication 29.09.2020
Get full text
Year of Publication 29.09.2020
Patent
A signal correlation guided ATPG solver and its applications for solving difficult industrial cases
Lu, Feng, Wang, Li-C., Cheng, K.-T. (Tim), Moondanos, John, Hanna, Ziyad
Published in Proceedings of the 40th annual Design Automation Conference (02.06.2003)
Published in Proceedings of the 40th annual Design Automation Conference (02.06.2003)
Get full text
Conference Proceeding