LexDanaLexDanabeta
Inventor

Evgueni Goldberg

Inventor
Berkeley, CA, US

Overview

6→
Patents
2008–2013
Patent span
Physics
Primary field (CPC G)

Patents· 6 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing83%
G06NComputing arrangements based on specific computational models17%
PatentTitleYear
8,438,513'Quantifier elimination by dependency sequents'20137,853,903'Method and mechanism for performing simulation off resolution proof'20107,610,570'Method and mechanism for using systematic local search for SAT solving'20097,600,211'Toggle equivalence preserving logic synthesis'20097,380,226'Systems, methods, and apparatus to perform logic synthesis preserving high-level specification'20087,356,519'Method and system for solving satisfiability problems'2008

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2008–2010Patents assigned to CADENCE DESIGN SYSTEMS INC (5)· patent assignee history
2008–2010Based in Berkeley, CA, US· patent location history
2009Based in El Cerrito, CA, US· patent location history
2013Patents assigned to GOLDBERG EVGUENI I (1)· patent assignee history
2013Patents assigned to MANOLIOS PANAGIOTIS (1)· patent assignee history
2013Patents assigned to UNIV NORTHEASTERN (1)· patent assignee history
2013Based in Boston, MA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
CADENCE DESIGN SYSTEMS INC52008–2010
GOLDBERG EVGUENI Iself12013
MANOLIOS PANAGIOTIS12013
UNIV NORTHEASTERN12013
Locations
LocationPatentsSpan
Berkeley, California, US42008–2010
Boston, Massachusetts, US12013
El Cerrito, California, US12009