Login / Signup
Avi Puder
Publication Activity (10 Years)
Years Active: 2005-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)
Jin Yang
,
Avi Puder
Tightly integrate dynamic verification with formal verification: a GSTE based approach.
ASP-DAC
(2005)