Carl Preston Pixley

Person

Beaverton, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Invariant sharing to speed up formal verification
- Patent number 10,325,054
- Issue date Jun 18, 2019
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Equivalence checking between two or more circuit designs that inclu...
- Patent number 9,870,442
- Issue date Jan 16, 2018
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Elimination of illegal states within equivalence checking
- Patent number 9,501,597
- Issue date Nov 22, 2016
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Equivalence checking between two or more circuit designs that inclu...
- Patent number 9,189,581
- Issue date Nov 17, 2015
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Equivalence checking using structural analysis on data flow graphs
- Patent number 8,914,758
- Issue date Dec 16, 2014
- Synopsys, Inc.
- Sudipta Kundu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of bit-serial division and bit-serial square-ro...
- Patent number 8,732,637
- Issue date May 20, 2014
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formally checking equivalence using equivalence relationships
- Patent number 8,589,836
- Issue date Nov 19, 2013
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for performing formal verification using data-...
- Patent number 8,079,000
- Issue date Dec 13, 2011
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for formally checking equivalence using equiva...
- Patent number 8,001,500
- Issue date Aug 16, 2011
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formally proving the functional equivalence of pipelined designs co...
- Patent number 7,836,414
- Issue date Nov 16, 2010
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for production of data-flow-graphs by symbolic...
- Patent number 7,523,423
- Issue date Apr 21, 2009
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for formally comparing stream-based designs
- Patent number 7,509,604
- Issue date Mar 24, 2009
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for performing formal verification using data-...
- Patent number 7,509,599
- Issue date Mar 24, 2009
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formally proving the functional equivalence of pipelined designs co...
- Patent number 7,389,479
- Issue date Jun 17, 2008
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for formally checking equivalence using equiva...
- Patent number 7,386,820
- Issue date Jun 10, 2008
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for initial state extraction
- Patent number 7,260,800
- Issue date Aug 21, 2007
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for solving constraints
- Patent number 7,107,553
- Issue date Sep 12, 2006
- Synopsys, Inc.
- Brian Eugene Lockyear
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ELIMINATION OF ILLEGAL STATES WITHIN EQUIVALENCE CHECKING
- Publication number 20160012167
- Publication date Jan 14, 2016
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLU...
- Publication number 20160012177
- Publication date Jan 14, 2016
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION
- Publication number 20150213167
- Publication date Jul 30, 2015
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EQUIVALENCE CHECKING USING STRUCTURAL ANALYSIS ON DATA FLOW GRAPHS
- Publication number 20140359545
- Publication date Dec 4, 2014
- Synopsys, Inc.
- Sudipta Kundu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION OF BIT-SERIAL DIVISION AND BIT-SERIAL SQUARE-RO...
- Publication number 20140033150
- Publication date Jan 30, 2014
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLU...
- Publication number 20140033151
- Publication date Jan 30, 2014
- Synopsys, Inc.
- Himansu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR PERFORMING FORMAL VERIFICATION USING DATA-...
- Publication number 20080301602
- Publication date Dec 4, 2008
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVA...
- Publication number 20080235253
- Publication date Sep 25, 2008
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVA...
- Publication number 20080208559
- Publication date Aug 28, 2008
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMALLY PROVING THE FUNCTIONAL EQUIVALENCE OF PIPELINED DESIGNS CO...
- Publication number 20080209370
- Publication date Aug 28, 2008
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Formally proving the functional equivalence of pipelined designs co...
- Publication number 20070143717
- Publication date Jun 21, 2007
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING

Carl Preston Pixley

Person

Patents Grantslast 30 patents

Invariant sharing to speed up formal verification

Equivalence checking between two or more circuit designs that inclu...

Elimination of illegal states within equivalence checking

Equivalence checking between two or more circuit designs that inclu...

Equivalence checking using structural analysis on data flow graphs

Formal verification of bit-serial division and bit-serial square-ro...

Formally checking equivalence using equivalence relationships

Method and apparatus for performing formal verification using data-...

Method and apparatus for formally checking equivalence using equiva...

Formally proving the functional equivalence of pipelined designs co...

Method and apparatus for production of data-flow-graphs by symbolic...

Method and apparatus for formally comparing stream-based designs

Method and apparatus for performing formal verification using data-...

Formally proving the functional equivalence of pipelined designs co...

Method and apparatus for formally checking equivalence using equiva...

Method and apparatus for initial state extraction

Method and apparatus for solving constraints

Patents Applicationslast 30 patents

ELIMINATION OF ILLEGAL STATES WITHIN EQUIVALENCE CHECKING

EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLU...

INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION

EQUIVALENCE CHECKING USING STRUCTURAL ANALYSIS ON DATA FLOW GRAPHS

FORMAL VERIFICATION OF BIT-SERIAL DIVISION AND BIT-SERIAL SQUARE-RO...

EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLU...

METHOD AND APPARATUS FOR PERFORMING FORMAL VERIFICATION USING DATA-...

METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVA...

METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVA...

FORMALLY PROVING THE FUNCTIONAL EQUIVALENCE OF PIPELINED DESIGNS CO...

Formally proving the functional equivalence of pipelined designs co...