Inventor
Guillermo Maturana
Inventor
Berkeley, CA, US
Overview
Patents· 9 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing67%
G01RMeasuring electric variables8%
G06NComputing arrangements based on specific computational models8%
G11CStatic stores8%
Y10STechnical subjects covered by former uspc cross-reference art collections [xracs] and digests8%
PatentTitleYear
10,372,856Optimizing constraint solving by rewriting at least one bit-slice constraint20199,195,634'Optimizing constraint solving by rewriting at least one modulo constraint'20158,650,513'Reducing x-pessimism in gate-level simulation and verification'20148,271,914'Method and apparatus for simulating behavioral constructs using indeterminate values'20128,150,787'Enhancing performance of a constraint solver across individual processes'20127,934,183'Method and apparatus for simulating behavioral constructs using indeterminate values'20117,260,795'Method and apparatus for integrating a simulation log into a verification environment'20075,717,896'Method and apparatus for performing pipeline store instructions using a single cache access pipestage'19985,539,680'Method and apparatus for analyzing finite state machines'1996Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
1996–1998Patents assigned to SUN MICROSYSTEMS INC (2)· patent assignee history
1996–2019Based in Berkeley, CA, US· patent location history
2007–2019Patents assigned to SYNOPSYS INC (7)· patent assignee history
2012–2015Patents assigned to MATURANA GUILLERMO R (3)· patent assignee history
2012–2014Patents assigned to SALZ ARTURO (2)· patent assignee history
2012Patents assigned to BUCK JOSEPH T (1)· patent assignee history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| SYNOPSYS INC | 7 | 2007–2019 |
| MATURANA GUILLERMO Rself | 3 | 2012–2015 |
| SALZ ARTURO | 2 | 2012–2014 |
| SUN MICROSYSTEMS INC | 2 | 1996–1998 |
| BUCK JOSEPH T | 1 | 2012 |
Locations
| Location | Patents | Span |
|---|---|---|
| Berkeley, California, US | 9 | 1996–2019 |