Inventor
PIXLEY CARL PRESTON
US11 patents
⚠️ This page may combine multiple inventors who share the name “PIXLEY CARL PRESTON”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
9 patentsUS7523423B1Apr 21, 2009
Method and apparatus for production of data-flow-graphs by symbolic simulation
SYNOPSYS INC15 citations91
US7260800B1Aug 21, 2007
Method and apparatus for initial state extraction
SYNOPSYS INC12 citations91
US7386820B1Jun 10, 2008
Method and apparatus for formally checking equivalence using equivalence relationships
SYNOPSYS INC12 citations82
US7107553B2Sep 12, 2006
Method and apparatus for solving constraints
SYNOPSYS INC18 citations79
US7509604B1Mar 24, 2009
Method and apparatus for formally comparing stream-based designs
SYNOPSYS INC5 citations72
US7509599B1Mar 24, 2009
Method and apparatus for performing formal verification using data-flow graphs
SYNOPSYS INC6 citations72
US9501597B2Nov 22, 2016
Elimination of illegal states within equivalence checking
SYNOPSYS INC2 citations62
US8001500B2Aug 16, 2011
Method and apparatus for formally checking equivalence using equivalence relationships
SYNOPSYS INC4 citations61
US8914758B1Dec 16, 2014
Equivalence checking using structural analysis on data flow graphs
SYNOPSYS INC3 citations60