Alexander Novakovsky

According to our database, Alexander Novakovsky authored at least 2 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

From visual to logical formalisms for SoC validation.

Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2009

MAGENTA: transaction-based statistical micro-architectural root-cause analysis.

Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg

Proceedings of the 46th Design Automation Conference, 2009