| |
| 2006 | ||
|---|---|---|
| 3 | EE | Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili: Seqver : A Sequential Equivalence Verifier for Hardware Designs . ICCD 2006 |
| 1997 | ||
| 2 | EE | Youngmin Hur, Saghir A. Shaikh, Silvian Goldenberg, D. Kacprzak, Stephen A. Szygenda: Concurrent Fault and Design Error Simulation in Interactive Simulation Automation System. Annual Simulation Symposium 1997: 168-176 |
| 1996 | ||
| 1 | Saghir A. Shaikh, Silvian Goldenberg, Stephen A. Szygenda: CON2FERS: A Concurrent Concurrent Fault and Design Error Simulator. PDPTA 1996: 109-112 | |
| 1 | Youngmin Hur | [2] |
| 2 | D. Kacprzak | [2] |
| 3 | Daher Kaiss | [3] |
| 4 | Zurab Khasidashvili | [3] |
| 5 | Saghir A. Shaikh | [1] [2] |
| 6 | Stephen A. Szygenda | [1] [2] |