A new paradigm for synthesis and propagation of clock gating conditions
Fraer, Ranan, Kamhi, Gila, Mhameed, Muhammad K.
Published in 2008 45th ACM/IEEE Design Automation Conference (08.06.2008)
Published in 2008 45th ACM/IEEE Design Automation Conference (08.06.2008)
Get full text
Conference Proceeding
SAT-based Induction for Temporal Safety Properties
Armoni, Roy, Fix, Limor, Fraer, Ranan, Huddleston, Scott, Piterman, Nir, Vardi, Moshe Y.
Published in Electronic notes in theoretical computer science (14.03.2005)
Published in Electronic notes in theoretical computer science (14.03.2005)
Get full text
Journal Article
From visual to logical formalisms for SoC validation
Fraer, Ranan, Keren, Doron, Khasidashvili, Zurab, Novakovsky, Alexander, Puder, Avi, Singerman, Eli, Talmor, Eran, Vardi, Moshe Y., Jin Yang
Published in 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.10.2014)
Published in 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.10.2014)
Get full text
Conference Proceeding
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting
Fraer, Ranan, Kamhi, Gila, Fix, Limor, Vardi, Moshe Y.
Published in Electronic notes in theoretical computer science (01.12.2001)
Published in Electronic notes in theoretical computer science (01.12.2001)
Get full text
Journal Article
Processor having inactive state of operation and method thereof
Kamhi, Gila, Wayner, Zelig, Gradstein, Amit, Yagil, Yoad, Pons, Thierry, Anati, Ittai, Fraer, Ranan
Year of Publication 19.05.2009
Get full text
Year of Publication 19.05.2009
Patent
Processor having inactive state of operation and method thereof
FRAER RANAN, WAYNER ZELIG, GRADSTEIN AMIT, KAMHI GILA, YAGIL YOAD, PONS THIERRY, ANATI ITTAI
Year of Publication 19.05.2009
Get full text
Year of Publication 19.05.2009
Patent
Efficient ITL compilation for SAT-based model checking
ARMONI, Roy, EGOROV, Sergey, FRAER, Ranan, KORCHEMNY, Dmitry, VARDI, Moshe Y
Year of Publication 2005
Get full text
Year of Publication 2005
Conference Proceeding
Deeper Bound in BMC by Combining Constant Propagation and Abstraction
Armoni, R., Fix, L., Fraer, R., Heyman, T., Vardi, M., Vizel, Y., Zbar, Y.
Published in 2007 Asia and South Pacific Design Automation Conference (01.01.2007)
Published in 2007 Asia and South Pacific Design Automation Conference (01.01.2007)
Get full text
Conference Proceeding
Efficient LTL compilation for SAT-based model checking
Armoni, R., Egorov, S., Fraer, R., Korchemny, D., Vardi, M.Y.
Published in ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 (2005)
Published in ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 (2005)
Get full text
Conference Proceeding
Processor having inactive state of operation and method thereof
FRAER RANAN, WAYNER ZELIG, GRADSTEIN AMIT, KAMHI GILA, YAGIL YOAD, PONS THIERRY, ANATI ITTAI
Year of Publication 26.07.2007
Get full text
Year of Publication 26.07.2007
Patent
PROCESSOR HAVING INACTIVE OPERATION STATUS AND METHOD FOR IT
ZELIG WAYNER, FRAER RANAN, ITTAI ANATI, GILA KAMHI, AMIT GRADSTEIN, YAGIL YOAD, PONS THIERRY
Year of Publication 19.07.2007
Get full text
Year of Publication 19.07.2007
Patent
System and method to analyze VLSI designs
Fraer, Ranan, Weissberg, Osnat, Irron, Amitai, Kamhi, Gila, Glusman, Marcelo, Mador-Haim, Sela, Vardi, Moshe Y
Year of Publication 10.04.2007
Get full text
Year of Publication 10.04.2007
Patent
System and method to analyze VLSI designs
FRAER RANAN, WEISSBERG OSNAT, MADOR-HAIM SELA, IRRON AMITAI, KAMHI GILA, VARDI MOSHE Y, GLUSMAN MARCELO
Year of Publication 10.04.2007
Get full text
Year of Publication 10.04.2007
Patent
Processor having inactive state of operation and method thereof
ZELIG WAYNER, FRAER RANAN, ITTAI ANATI, GILA KAMHI, AMIT GRADSTEIN, YAGIL YOAD, PONS THIERRY
Year of Publication 20.11.2013
Get full text
Year of Publication 20.11.2013
Patent
Processor having inactive state of operation and method thereof
FRAER RANAN, WAYNER ZELIG, GRADSTEIN AMIT, KAMHI GILA, YAGIL YOAD, PONS THIERRY, ANATI ITTAI
Year of Publication 13.06.2012
Get full text
Year of Publication 13.06.2012
Patent
System and method to analyze VLSI designs
Weissberg, Osnat, Fraer, Ranan, Irron, Amitai, Kamhi, Gila, Glusman, Marcelo, Mador-Haim, Sela, Vardi, Moshe
Year of Publication 11.03.2004
Get full text
Year of Publication 11.03.2004
Patent
System and method to analyze VLSI designs
FRAER RANAN, WEISSBERG OSNAT, MADOR-HAIM SELA, IRRON AMITAI, KAMHI GILA, VARDI MOSHE Y, GLUSMAN MARCELO
Year of Publication 11.03.2004
Get full text
Year of Publication 11.03.2004
Patent
Processor having inactive state of operation and method thereof
ZELIG WAYNER, FRAER RANAN, ITTAI ANATI, GILA KAMHI, AMIT GRADSTEIN, YAGIL YOAD, PONS THIERRY
Year of Publication 24.08.2011
Get full text
Year of Publication 24.08.2011
Patent
Method, apparatus and system of managing power consumption
WAYNER, ZELIG, KAMHI, GILA, PONS, THIERRY, YAGIL, YOAD, FRAER, RANAN, ANATI, ITTAI, GRADSTEIN, AMIT
Year of Publication 21.11.2010
Get full text
Year of Publication 21.11.2010
Patent