Inventor · disambiguated record
Evgueni Goldberg
Also filed as: GOLDBERG EVGUENI · GOLDBERG EVGUENI I
6 granted patents·33 citations·filing 2004–2011
79Inventor score
Top patents by PatentIndex Score
6 records- 0171US7610570B1Method and mechanism for using systematic local search for SAT solvingCADENCE DESIGN SYSTEMS INC·Filed 2006·Granted Oct 27, 2009·7 cites·50 claims
- 0264US7600211B1Toggle equivalence preserving logic synthesisCADENCE DESIGN SYSTEMS INC·Filed 2006·Granted Oct 6, 2009·6 cites·31 claims
- 0358US7853903B1Method and mechanism for performing simulation off resolution proofCADENCE DESIGN SYSTEMS INC·Filed 2006·Granted Dec 14, 2010·2 cites·34 claims
- 0456US7356519B1Method and system for solving satisfiability problemsCADENCE DESIGN SYSTEMS INC·Filed 2004·Granted Apr 8, 2008·12 cites·56 claims
- 0555US7380226B1Systems, methods, and apparatus to perform logic synthesis preserving high-level specificationCADENCE DESIGN SYSTEMS INC·Filed 2004·Granted May 27, 2008·6 cites·27 claims
- 0638US8438513B1Quantifier elimination by dependency sequentsGOLDBERG EVGUENI I·Filed 2011·Granted May 7, 2013·0 cites·25 claims
Join the waitlist — get patent alerts
Get an alert when Evgueni Goldberg files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →