Follow
Ranan Fraer
Ranan Fraer
Design Technology, Intel Corporation
Verified email at intel.com
Title
Cited by
Cited by
Year
Benefits of bounded model checking at an industrial setting
F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi
International Conference on Computer Aided Verification, 436-453, 2001
2762001
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
1082001
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
632003
A new paradigm for synthesis and propagation of clock gating conditions
R Fraer, G Kamhi, MK Mhameed
2008 45th ACM/IEEE Design Automation Conference, 658-663, 2008
612008
Prioritized traversal: Efficient reachability analysis for verification and falsification
R Fraer, G Kamhi, B Ziv, MY Vardi, L Fix
International Conference on Computer Aided Verification, 389-402, 2000
442000
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
372005
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
372005
Reasoning with executable specifications
Y Bertot, R Fraer
Colloquium on Trees in Algebra and Programming, 531-545, 1995
371995
Tracing the origins of verification conditions
R Fraer
International Conference on Algebraic Methodology and Software Technology …, 1996
271996
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
152007
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
142014
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
142002
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
142001
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
72007
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
32009
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
Pascal and Francis Bibliographic Databases
F ALESCH
Acta neurochirurgica 112 (3-4), 157-162, 1991
1991
Pascal and Francis Bibliographic Databases
M Bauer
Journal of non-crystalline solids 137 (38), 2, 1991
1991
Pascal and Francis Bibliographic Databases
R Fraer, Y Bertot
A Discipline of B
F Mejia, R Fraer, D Sabatier
The system can't perform the operation now. Try again later.
Articles 1–20