Benefits of bounded model checking at an industrial setting F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 272 | 2001 |
Is there a best symbolic cycle-detection algorithm? K Fisler, R Fraer, G Kamhi, MY Vardi, Z Yang International Conference on Tools and Algorithms for the Construction and …, 2001 | 111 | 2001 |
Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation M Glusman, G Kamhi, S Mador-Haim, R Fraer, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2003 | 62 | 2003 |
A new paradigm for synthesis and propagation of clock gating conditions R Fraer, G Kamhi, MK Mhameed Proceedings of the 45th annual Design Automation Conference, 658-663, 2008 | 61 | 2008 |
Efficient LTL compilation for SAT-based model checking R Armoni, S Egorov, R Fraer, D Korchemny, MY Vardi ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005 | 40 | 2005 |
Prioritized traversal: Efficient reachability analysis for verification and falsification R Fraer, G Kamhi, B Ziv, MY Vardi, L Fix Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 40 | 2000 |
Reasoning with executable specifications Y Bertot, R Fraer Colloquium on Trees in Algebra and Programming, 531-545, 1995 | 40 | 1995 |
SAT-based induction for temporal safety properties R Armoni, L Fix, R Fraer, S Huddleston, N Piterman, MY Vardi Electronic Notes in Theoretical Computer Science 119 (2), 3-16, 2005 | 37 | 2005 |
Tracing the origins of verification conditions R Fraer International Conference on Algebraic Methodology and Software Technology …, 1996 | 31 | 1996 |
System and method to analyze VLSI designs R Fraer, O Weissberg, A Irron, G Kamhi, M Glusman, S Mador-Haim, ... US Patent 7,203,631, 2007 | 15 | 2007 |
From visual to logical formalisms for SoC validation R Fraer, D Keren, Z Khasidashvili, A Novakovsky, A Puder, E Singerman, ... 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 14 | 2014 |
Accelerated verification of RTL assertions based on satisfiability solvers R Fraer, S Ikram, G Kamhi, T Leonard, A Mokkedem Seventh IEEE International High-Level Design Validation and Test Workshop …, 2002 | 14 | 2002 |
Evaluating semi-exhaustive verification techniques for bug hunting R Fraer, G Kamhi, L Fix, MY Vardi Electronic Notes in Theoretical Computer Science 23 (2), 11-22, 2001 | 14 | 2001 |
Deeper bound in BMC by combining constant propagation and abstraction R Armoni, L Fix, R Fraer, T Heyman, M Vardi, Y Vizel, Y Zbar 2007 Asia and South Pacific Design Automation Conference, 304-309, 2007 | 8 | 2007 |
Analyse de programmes annotés par des assertions R Fraer Nice, 1997 | 4 | 1997 |
Processor having inactive state of operation and method thereof G Kamhi, Z Wayner, A Gradstein, Y Yagil, T Pons, I Anati, R Fraer US Patent 7,536,485, 2009 | 3 | 2009 |
Electronic Notes in Theoretical Computer Science: Preface P Bjesse, A Cimatti, K Claessen, R Fraer, D Geist, A Hu, S Malik, JM Silva, ... Electronic Notes in Theoretical Computer Science 119 (2), 1, 2005 | | 2005 |
A Discipline of B F Mejia, R Fraer, D Sabatier | | |