Ranan Fraer
Ranan Fraer
Design Technology, Intel Corporation
Verified email at intel.com
TitleCited byYear
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
2612001
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
1052001
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
602003
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
532008
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
392000
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
362005
Reasoning with executable specifications
Y Bertot, R Fraer
Colloquium on Trees in Algebra and Programming, 531-545, 1995
351995
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
322005
Tracing the origins of verification conditions
R Fraer
International Conference on Algebraic Methodology and Software Technology …, 1996
201996
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
142007
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
132002
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
92001
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
72014
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), 2005
2005
Primitive Recursion for Higher-Order Abstract Syntax
R Fraer, I Attali, D Caromel, SO Ehmety, S Lippi, I Attali, D Caromel, ...
Proceedings of the 3rd Int. Conference on Typed Lambda Calculi 902 (10), 124-138, 0
A Discipline of B
F Mejia, R Fraer, D Sabatier
The system can't perform the operation now. Try again later.
Articles 1–18