Inventor · disambiguated record
Carl Preston Pixley
Also filed as: PIXLEY CARL · PIXLEY CARL P · PIXLEY CARL PRESTON
24 granted patents·486 citations·filing 1991–2015
96Inventor score
Top patents by PatentIndex Score
24 records- 0188US7523423B1Method and apparatus for production of data-flow-graphs by symbolic simulationSYNOPSYS INC·Filed 2005·Granted Apr 21, 2009·15 cites·47 claims
- 0287US5680332AMeasurement of digital circuit simulation test coverage utilizing BDDs and state binsMOTOROLA INC·Filed 1995·Granted Oct 21, 1997·81 cites·27 claims
- 0386US7260800B1Method and apparatus for initial state extractionSYNOPSYS INC·Filed 2005·Granted Aug 21, 2007·12 cites·19 claims
- 0485US7386820B1Method and apparatus for formally checking equivalence using equivalence relationshipsSYNOPSYS INC·Filed 2005·Granted Jun 10, 2008·12 cites·20 claims
- 0578US7509599B1Method and apparatus for performing formal verification using data-flow graphsSYNOPSYS INC·Filed 2005·Granted Mar 24, 2009·6 cites·29 claims
- 0678US7389479B2Formally proving the functional equivalence of pipelined designs containing memoriesSYNOPSYS INC·Filed 2006·Granted Jun 17, 2008·8 cites·20 claims
- 0777US8079000B2Method and apparatus for performing formal verification using data-flow graphsKOELBL ALFRED·Filed 2008·Granted Dec 13, 2011·6 cites·24 claims
- 0877US7836414B2Formally proving the functional equivalence of pipelined designs containing memoriesSYNOPSYS INC·Filed 2008·Granted Nov 16, 2010·7 cites·20 claims
- 0976US7509604B1Method and apparatus for formally comparing stream-based designsSYNOPSYS INC·Filed 2005·Granted Mar 24, 2009·5 cites·11 claims
- 1075US6321186B1Method and apparatus for integrated circuit design verificationMOTOROLA INC·Filed 1999·Granted Nov 20, 2001·85 cites·17 claims
- 1173US5754454AMethod for determining functional equivalence between design modelsMOTOROLA INC·Filed 1997·Granted May 19, 1998·63 cites·27 claims
- 1273US5331568AApparatus and method for determining sequential hardware equivalenceMICROELECTRONICS & COMPUTER·Filed 1991·Granted Jul 19, 1994·63 cites·15 claims
- 1372US8914758B1Equivalence checking using structural analysis on data flow graphsSYNOPSYS INC·Filed 2013·Granted Dec 16, 2014·3 cites·34 claims
- 1472US8001500B2Method and apparatus for formally checking equivalence using equivalence relationshipsSYNOPSYS INC·Filed 2008·Granted Aug 16, 2011·4 cites·30 claims
- 1571US7107553B2Method and apparatus for solving constraintsSYNOPSYS INC·Filed 2003·Granted Sep 12, 2006·18 cites·13 claims
- 1670US5572535AMethod and data processing system for verifying the correct operation of a tri-state multiplexer in a circuit designMOTOROLA INC·Filed 1994·Granted Nov 5, 1996·31 cites·31 claims
- 1769US9501597B2Elimination of illegal states within equivalence checkingSYNOPSYS INC·Filed 2014·Granted Nov 22, 2016·2 cites·33 claims
- 1862US5638381AApparatus and method for deriving correspondence between storage elements of a first circuit model and storage elements of a second circuit modelMOTOROLA INC·Filed 1995·Granted Jun 10, 1997·43 cites·24 claims
- 1952US9189581B2Equivalence checking between two or more circuit designs that include division circuitsSYNOPSYS INC·Filed 2012·Granted Nov 17, 2015·0 cites·18 claims
- 2051US8589836B2Formally checking equivalence using equivalence relationshipsKOELBL ALFRED·Filed 2008·Granted Nov 19, 2013·0 cites·21 claims
- 2150US9870442B2Equivalence checking between two or more circuit designs that include square root circuitsSYNOPSYS INC·Filed 2015·Granted Jan 16, 2018·0 cites·14 claims
- 2247US10325054B2Invariant sharing to speed up formal verificationSYNOPSYS INC·Filed 2014·Granted Jun 18, 2019·0 cites·13 claims
- 2347US8732637B2Formal verification of bit-serial division and bit-serial square-root circuit designsJAIN HIMANSHU·Filed 2012·Granted May 20, 2014·0 cites·20 claims
- 2445US5999717AMethod for performing model checking in integrated circuit designMOTOROLA INC·Filed 1997·Granted Dec 7, 1999·22 cites·16 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →