Follow
Ranan Fraer
Ranan Fraer
Cadence Design Systems
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
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
2722001
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
1112001
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
Proceedings of the 45th annual Design Automation Conference, 658-663, 2008
612008
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
402005
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
402000
Reasoning with executable specifications
Y Bertot, R Fraer
Colloquium on Trees in Algebra and Programming, 531-545, 1995
401995
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
Tracing the origins of verification conditions
R Fraer
International Conference on Algebraic Methodology and Software Technology …, 1996
311996
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
82007
Analyse de programmes annotés par des assertions
R Fraer
Nice, 1997
41997
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
A Discipline of B
F Mejia, R Fraer, D Sabatier
The system can't perform the operation now. Try again later.
Articles 1–18