CON2FERS: A Concurrent Concurrent Fault and Design Error Simulator. - Saghir A. Shaikh; Silvian Goldenberg; Stephen A. Szygenda (PDPTA, 1996)

Concurrent Fault and Design Error Simulation in Interactive Simulation Automation System. - Youngmin Hur; Saghir A. Shaikh; Silvian Goldenberg; Dominik Kacprzak; Stephen A. Szygenda (Annual Simulation Symposium, 1997)

Seqver : A Sequential Equivalence Verifier for Hardware Designs . - Daher Kaiss; Silvian Goldenberg; Zurab Khasidashvili (ICCD, 2006)