Alexander Novakovsky

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Logical Representation

Top Venues

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)
Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg
MAGENTA: transaction-based statistical micro-architectural root-cause analysis. DAC (2009)