Login / Signup
Doron Keren
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Low Power
Logical Representation
Visual Cues
Top Venues
MEMOCODE
</>
Publications
</>
Ranan Fraer
,
Doron Keren
,
Zurab Khasidashvili
,
Alexander Novakovsky
,
Avi Puder
,
Eli Singerman
,
Eran Talmor
,
Moshe Y. Vardi
,
Jin Yang
From visual to logical formalisms for SoC validation.
MEMOCODE
(2014)