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
2672001
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
1002001
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
622003
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
572008
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
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
341995
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
332005
Tracing the origins of verification conditions
R Fraer
International Conference on Algebraic Methodology and Software Technology …, 1996
251996
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
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
102001
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
82014
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
Pascal and Francis Bibliographic Databases
M Bauer
Journal of non-crystalline solids 137 (38), 2, 1991
1991
Pascal and Francis Bibliographic Databases
HB Barber
International journal of neuroscience 34 (3-4), 143-280, 1987
1987
Pascal and Francis Bibliographic Databases
A CORDEIRO
Proceedings of the international symposium on shell and spatial structures …, 1983
1983
Pascal and Francis Bibliographic Databases
R Fraer, Y Bertot
The system can't perform the operation now. Try again later.
Articles 1–20