Silvian Goldenberg

Publication Activity (10 Years)

Years Active: 1996-2006
Publications (10 Years): 0

Publications

Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili
Seqver : A Sequential Equivalence Verifier for Hardware Designs . ICCD (2006)
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)
Saghir A. Shaikh, Silvian Goldenberg, Stephen A. Szygenda
FERS: A Concurrent Concurrent Fault and Design Error Simulator. PDPTA (1996)