Silvian Goldenberg

According to our database, Silvian Goldenberg authored at least 3 papers between 1996 and 2006.

Collaborative distances:

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

2006

Seqver : A Sequential Equivalence Verifier for Hardware Designs .

Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

1997

Concurrent Fault and Design Error Simulation in Interactive Simulation Automation System.

Youngmin Hur, Saghir A. Shaikh, Silvian Goldenberg, Dominik Kacprzak, Stephen A. Szygenda

Proceedings of the Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, 1997

1996

CON²FERS: A Concurrent Concurrent Fault and Design Error Simulator.

Saghir A. Shaikh, Silvian Goldenberg, Stephen A. Szygenda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996