Avi Puder

According to our database, Avi Puder authored at least 2 papers between 2005 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

2005

Tightly integrate dynamic verification with formal verification: a GSTE based approach.

Jin Yang, Avi Puder

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005