Inventor · disambiguated record
Daniel Geist
Also filed as: GEIST DANIEL · GEIST DANIEL J
12 granted patents·3 pending applications·105 citations·filing 1999–2019
88Inventor score
Top patents by PatentIndex Score
15 records- 0188US7272752B2Method and system for integrating test coverage measurements with model based test generationIBM·Filed 2001·Granted Sep 18, 2007·60 cites·25 claims
- 0285US10796048B1Adding delay elements to enable mapping a time division multiplexing circuit on an FPGA of a hardware emulatorSYNOPSYS INC·Filed 2018·Granted Oct 6, 2020·11 cites·22 claims
- 0370US7835898B2Satisfiability (SAT) based bounded model checkersIBM·Filed 2005·Granted Nov 16, 2010·5 cites·2 claims
- 0465US8108195B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2010·Granted Jan 31, 2012·2 cites·7 claims
- 0563US7120568B1Identification of missing properties in model checkingIBM·Filed 2000·Granted Oct 10, 2006·13 cites·32 claims
- 0659US9645913B2Method and apparatus for debugging programsGEIST DANIEL·Filed 2012·Granted May 9, 2017·1 cites·20 claims
- 0751US11176293B1Method and system for emulation clock tree reductionSYNOPSYS INC·Filed 2019·Granted Nov 16, 2021·0 cites·28 claims
- 0850US11106663B1Speeding matching search of hierarchical name structuresSYNOPSYS INC·Filed 2019·Granted Aug 31, 2021·0 cites·18 claims
- 0943US8489380B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2011·Granted Jul 16, 2013·0 cites·20 claims
- 1040US10135901B2Exchange of content consumption-related information between networked devicesCOX COMMUNICATIONS INC·Filed 2013·Granted Nov 20, 2018·0 cites·23 claims
- 1140US2008126063A1Simulation System with Guided BacktrackingBEER ILAN·Filed 2006·Application pending·0 cites
- 1237US2012278791A1Utilizing temporal assertions in a debuggerGEIST DANIEL·Filed 2011·Application pending·0 cites
- 1336US6629174B1Synchronization using bus arbitration control for system analysisIBM·Filed 1999·Granted Sep 30, 2003·13 cites·18 claims
- 1436US2007000310A1Leak detection system with wireless remote unitVARIAN INC·Filed 2005·Application pending·0 cites
- 1535US10628625B2Incrementally distributing logical wires onto physical sockets by reducing critical path delaySYNOPSYS INC·Filed 2017·Granted Apr 21, 2020·0 cites·27 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →