Daniel Geist
12Patents
5h-index
31Co-inventors
66Inventor score
Filing activity: Dec 14, 1999 → Mar 7, 2019
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7272752B2 | Method and system for integrating test coverage measurements with model based test generation | Physics | 40 | Expired |
| US6629174B1 | Synchronization using bus arbitration control for system analysis | Physics | 8 | Expired |
| US10796048B1 | Adding delay elements to enable mapping a time division multiplexing circuit on an FPGA of a hardware emulator | Physics | 6 | Active |
| US7120568B1 | Identification of missing properties in model checking | Physics | 6 | Expired |
| US7835898B2 | Satisfiability (SAT) based bounded model checkers | Physics | 5 | Active |
| US8108195B2 | Satisfiability (SAT) based bounded model checkers | Physics | 2 | Active |
| US9645913B2 | Method and apparatus for debugging programs | Physics | 1 | Active |
| US11176293B1 | Method and system for emulation clock tree reduction | Physics | 0 | Active |
| US8489380B2 | Satisfiability (SAT) based bounded model checkers | Physics | 0 | Active |
| US11106663B1 | Speeding matching search of hierarchical name structures | Physics | 0 | Active |
| US10628625B2 | Incrementally distributing logical wires onto physical sockets by reducing critical path delay | Physics | 0 | Active |
| US10135901B2 | Exchange of content consumption-related information between networked devices | Electricity | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.