Unit Verification and Core Technologies
Anatoly Koyfman IBM Haifa Research Lab Haifa University Campus Mount Carmel Haifa 31905 ISRAEL Phone : +972-4-829-6382 Email : anatoly@il.ibm.com
