Silvian Goldenberg is an author at Intel (United States) specializing in parallel computing, hardware verification, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisHardware SecurityParallel ComputingFormal VerificationComputer EngineeringAsynchronous Circuits
Publications per year
2006–2006
1
1
Seqver : A Sequential Equivalence Verifier for Hardware Designs
Daher Kaiss, Silvian Goldenberg, Ziyad Hanna et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 12 citations
Hardware Modeling, Engineering, Hardware Verification Language +20
Rows per page
1–1 of 1