LexDanaLexDanabeta
Inventor

Robert F. Damiano

Inventor
Lake Oswego, OR, US

Overview

8→
Patents
1996–2012
Patent span
Physics
Primary field (CPC G)

Patents· 8 as inventor

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

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
8,306,802'Method for modeling an HDL design using symbolic simulation'20127,904,867'Integrating a boolean SAT solver into a router'20117,254,793'Latch modeling technique for formal verification'20077,130,783'Simulation-based functional verification of microcircuit designs'20067,107,553'Method and apparatus for solving constraints'20066,397,169'Adaptive cell separation and circuit changes driven by maximum capacitance rules'20025,754,824'Logic synthesis for logic array modules'19985,537,330'Method for mapping in logic synthesis by logic classification'1996

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

1996–1998Patents assigned to IBM (2)· patent assignee history
1996Based in Hopewell Junction, NY, US· patent location history
1998–2012Based in Lake Oswego, OR, US· patent location history
2002–2012Patents assigned to SYNOPSYS INC (6)· patent assignee history
2012Patents assigned to BUCK JOSEPH T (1)· patent assignee history
2012Patents assigned to DAMIANO ROBERT F (1)· patent assignee history
2012Patents assigned to KUKULA JAMES HERBERT (1)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
SYNOPSYS INC62002–2012
IBM21996–1998
BUCK JOSEPH T12012
DAMIANO ROBERT Fself12012
KUKULA JAMES HERBERT12012
Locations
LocationPatentsSpan
Lake Oswego, OR, US71998–2012
Hopewell Junction, New York, US11996