Amitai Irron

According to our database, Amitai Irron authored at least 2 papers between 2001 and 2004.

Collaborative distances:

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

2004

Pattern search in hierarchical high-level designs.

Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron

Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

2001

Efficient Debugging in a Formal Verification Environment.

Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi

Proceedings of the Correct Hardware Design and Verification Methods, 2001