Silvian Goldenberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1996–2006
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICCD | Seqver : A Sequential Equivalence Verifier for Hardware Designs . | Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili |
| 1996 | PDPTA | CON | Saghir A. Shaikh, Silvian Goldenberg, Stephen A. Szygenda |