Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
DG

Daniel Geist — 12 Patents

IBM: 5 patents #18,770 of 70,183Top 30%
SYSynopsys: 4 patents #328 of 2,302Top 15%
CCCox Communications: 1 patents #199 of 385Top 55%
Disney: 1 patents #4,015 of 6,686Top 65%
Dunwoody, GA: #45 of 471 inventorsTop 10%
Georgia: #2,791 of 35,610 inventorsTop 8%
Overall (All Time): #396,045 of 4,157,543Top 10%
12 Patents All Time
Daniel Geist has been granted 12 US patents while listed as an inventor at IBM. The first was granted in 2003 and the most recent in November 2021. Daniel Geist ranks #396,045 of 4,157,543 US inventors in our database (top 9.5%). Patent records list Daniel Geist in Dunwoody, GA, US.

Issued Patents All Time

Showing 1–12 of 12 patents

Patent #TitleCo-InventorsDateApprox Value ⓘ
11176293 Method and system for emulation clock tree reduction Dmitry Korchemny, Alexander Rabinovitch, Boris Gommershtadt, Srivatsan Raghavan 2021-11-16 $102,912,000
11106663 Speeding matching search of hierarchical name structures Ilya Kudryavtsev, Boris Gommershtadt 2021-08-31 $153,600,000
10796048 Adding delay elements to enable mapping a time division multiplexing circuit on an FPGA of a hardware emulator Nathaniel Azuelos, Alex Shot 2020-10-06 $92,948,000
10628625 Incrementally distributing logical wires onto physical sockets by reducing critical path delay Dmitriy Mosheyev, Richard Yachyang Sun, Yoon Kah Leow 2020-04-21 $29,746,000
10135901 Exchange of content consumption-related information between networked devices Keith Alan Rothschild, Slavisha Karach, Muhammad Asif Raza, Donald Carl Bleyl 2018-11-20
9645913 Method and apparatus for debugging programs 2017-05-09
8489380 Satisfiability (SAT) based bounded model checkers Mark Ginzburg, Yoad Lustig, Ishai Rabinovotz, Ohad Shacham, Rachel Tzoref 2013-07-16 $5,283,000
8108195 Satisfiability (SAT) based bounded model checkers Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref 2012-01-31 $4,013,000
7835898 Satisfiability (SAT) based bounded model checkers Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref 2010-11-16 $4,384,000
7272752 Method and system for integrating test coverage measurements with model based test generation Eitan Farchi, Alan Hartman, Paul Kram, Kenneth Nagin, Yael Shaham-Gafni +1 more 2007-09-18 $6,075,000
7120568 Identification of missing properties in model checking Orna Grumberg, Sagi Katz 2006-10-10 $22,867,000
6629174 Synchronization using bus arbitration control for system analysis Monica Farkas, Raanan Gewirtzman, Karen Holtz 2003-09-30 $10,221,000