Ranan Fraer

A new paradigm for synthesis and propagation of clock gating conditions

Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed · 2008 · 35 citations

Engineering, Power Optimization (Eda), Electronic Design +17

SAT-based Induction for Temporal Safety Properties

Roy Armoni, Limor Fix, Ranan Fraer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 29 citations · Full text

Engineering, Sat-based Induction, Verification +21

Efficient LTL compilation for SAT-based model checking

Roy Armoni, S. I. Egorov, Ranan Fraer et al. · International Conference on Computer Aided Design · 2005 · 22 citations

Ltl Safety Properties, Engineering, Verification +17

Accelerated verification of RTL assertions based on satisfiability solvers

Ranan Fraer, Shahid Ikram, Gila Kamhi et al. · 2003 · 13 citations

Engineering, Verification, Computer-aided Verification +18

From visual to logical formalisms for SoC validation

Ranan Fraer, Doron Keren, Zurab Khasidashvili et al. · 2014 · 11 citations

Engineering, Intuitive Visual Formalism, Hardware Verification Language +24