Inventor
KOELBL ALFRED
DE13 patents
⚠️ This page may combine multiple inventors who share the name “KOELBL ALFRED”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
10 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
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
US7836414B2Nov 16, 2010
Formally proving the functional equivalence of pipelined designs containing memories
SYNOPSYS INC7 citations71
US7389479B2Jun 17, 2008
Formally proving the functional equivalence of pipelined designs containing memories
SYNOPSYS INC8 citations71
US8001500B2Aug 16, 2011
Method and apparatus for formally checking equivalence using equivalence relationships
SYNOPSYS INC4 citations61
US10592624B2Mar 17, 2020
Efficient mechanism of fault qualification using formal verification
SYNOPSYS INC0 citations48
US11556676B2Jan 17, 2023
Scalable formal security verification of circuit designs
SYNOPSYS INC0 citations47
KOELBL ALFRED
3 patentsUS8079000B2Dec 13, 2011
Method and apparatus for performing formal verification using data-flow graphs
KOELBL ALFRED6 citations70
US8589836B2Nov 19, 2013
Formally checking equivalence using equivalence relationships
KOELBL ALFRED0 citations49
US8201119B2Jun 12, 2012
Formal equivalence checking between two models of a circuit design using checkpoints
KOELBL ALFRED0 citations38