Alfred Koelbl
13Patents
5h-index
8Co-inventors
55Inventor score
Filing activity: Jun 10, 2005 → Sep 3, 2020
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7386820B1 | Method and apparatus for formally checking equivalence using equivalence relationships | Physics | 9 | Active |
| US7523423B1 | Method and apparatus for production of data-flow-graphs by symbolic simulation | Physics | 9 | Active |
| US7260800B1 | Method and apparatus for initial state extraction | Physics | 8 | Expired |
| US8079000B2 | Method and apparatus for performing formal verification using data-flow graphs | Physics | 5 | Active |
| US7389479B2 | Formally proving the functional equivalence of pipelined designs containing memories | Physics | 5 | Active |
| US7836414B2 | Formally proving the functional equivalence of pipelined designs containing memories | Physics | 4 | Active |
| US7509604B1 | Method and apparatus for formally comparing stream-based designs | Physics | 3 | Active |
| US7509599B1 | Method and apparatus for performing formal verification using data-flow graphs | Physics | 3 | Active |
| US8001500B2 | Method and apparatus for formally checking equivalence using equivalence relationships | Physics | 2 | Active |
| US11556676B2 | Scalable formal security verification of circuit designs | Physics | 0 | Active |
| US10592624B2 | Efficient mechanism of fault qualification using formal verification | Physics | 0 | Active |
| US8589836B2 | Formally checking equivalence using equivalence relationships | Physics | 0 | Active |
| US8201119B2 | Formal equivalence checking between two models of a circuit design using checkpoints | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.