Membership
Tour
Register
Log in
Guillermo Maturana
Follow
Person
Berkeley, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Optimizing constraint solving by rewriting at least one bit-slice c...
Patent number
10,372,856
Issue date
Aug 6, 2019
Synopsys, Inc.
Ngai Ngai William Hung
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Optimizing constraint solving by rewriting at least one modulo cons...
Patent number
9,195,634
Issue date
Nov 24, 2015
Synopsys, Inc.
Ngai Ngai William Hung
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Reducing x-pessimism in gate-level simulation and verification
Patent number
8,650,513
Issue date
Feb 11, 2014
Synopsys, Inc.
Arturo Salz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for simulating behavioral constructs using ind...
Patent number
8,271,914
Issue date
Sep 18, 2012
Synopsys, Inc.
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Enhancing performance of a constraint solver across individual proc...
Patent number
8,150,787
Issue date
Apr 3, 2012
Synopsys, Inc.
Guillermo R. Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for simulating behavioral constructs using ind...
Patent number
7,934,183
Issue date
Apr 26, 2011
Synopsys, Inc.
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for integrating a simulation log into a verifi...
Patent number
7,260,795
Issue date
Aug 21, 2007
Synopsys, Inc.
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for performing pipeline store instructions usi...
Patent number
5,717,896
Issue date
Feb 10, 1998
Sun Microsystems, Inc.
Robert Yung
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for analyzing finite state machines
Patent number
5,539,680
Issue date
Jul 23, 1996
Sun Microsystem, Inc.
Samir S. Palnitkar
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
OPTIMIZING CONSTRAINT SOLVING BY REWRITING AT LEAST ONE BIT-SLICE C...
Publication number
20160034624
Publication date
Feb 4, 2016
Synopsys, Inc.
Ngai Ngai William Hung
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR OPTIMIZING CONSTRAINT SOLVING THROUGH CONS...
Publication number
20120136635
Publication date
May 31, 2012
Synopsys, Inc.
Ngai Ngai William Hung
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR REDUCING X-PESSIMISM IN GATE-LEVEL SIMULAT...
Publication number
20120072876
Publication date
Mar 22, 2012
Synopsys, Inc.
Arturo Salz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR SIMULATING BEHAVIORAL CONSTRUCTS USING IND...
Publication number
20110161897
Publication date
Jun 30, 2011
Synopsys, Inc.
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ENHANCING PERFORMANCE OF A CONSTRAINT SOLVER ACROSS INDIVIDUAL PROC...
Publication number
20100017352
Publication date
Jan 21, 2010
Synopsys, Inc.
Guillermo R. Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR SIMULATING BEHAVIORAL CONSTRUCTS USING IND...
Publication number
20090271748
Publication date
Oct 29, 2009
Synopsys, Inc.
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and apparatus for integrating a simulation log into a verifi...
Publication number
20060136189
Publication date
Jun 22, 2006
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and method for reducing size of simulation value change files
Publication number
20060004557
Publication date
Jan 5, 2006
Synopsys, Inc.
Guillermo Maturana
G06 - COMPUTING CALCULATING COUNTING