Daniel Geist

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Speeding matching search of hierarchical name structures
- Patent number 11,106,663
- Issue date Aug 31, 2021
- Synopsys, Inc.
- Ilya Kudryavtsev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adding delay elements to enable mapping a time division multiplexin...
- Patent number 10,796,048
- Issue date Oct 6, 2020
- Synopsys, Inc.
- Nathaniel Azuelos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incrementally distributing logical wires onto physical sockets by r...
- Patent number 10,628,625
- Issue date Apr 21, 2020
- Synopsys, Inc.
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for debugging programs
- Patent number 9,645,913
- Issue date May 9, 2017
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 8,489,380
- Issue date Jul 16, 2013
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 8,108,195
- Issue date Jan 31, 2012
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 7,835,898
- Issue date Nov 16, 2010
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for integrating test coverage measurements with m...
- Patent number 7,272,752
- Issue date Sep 18, 2007
- International Business Machines Corporation
- Eitan Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identification of missing properties in model checking
- Patent number 7,120,568
- Issue date Oct 10, 2006
- Marvell Semiconductor Israel Ltd.
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking with layered localization reduction
- Patent number 6,957,404
- Issue date Oct 18, 2005
- International Business Machines Corporation
- Danny Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synchronization for system analysis
- Patent number 6,757,847
- Issue date Jun 29, 2004
- International Business Machines Corporation
- Monica Farkash
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synchronization using bus arbitration control for system analysis
- Patent number 6,629,174
- Issue date Sep 30, 2003
- International Business Machines Corporation
- Monica Farkas
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Incrementally Distributing Logical Wires Onto Physical Sockets By R...
- Publication number 20170293708
- Publication date Oct 12, 2017
- Synopsys, Inc.
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR DEBUGGING PROGRAMS
- Publication number 20130036403
- Publication date Feb 7, 2013
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UTILIZING TEMPORAL ASSERTIONS IN A DEBUGGER
- Publication number 20120278791
- Publication date Nov 1, 2012
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Satisfiability (SAT) Based Bounded Model Checkers
- Publication number 20110213605
- Publication date Sep 1, 2011
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS
- Publication number 20100324881
- Publication date Dec 23, 2010
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simulation System with Guided Backtracking
- Publication number 20080126063
- Publication date May 29, 2008
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Satisfiability (SAT) based bounded model checkers
- Publication number 20070118340
- Publication date May 24, 2007
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Model checking with layered localization reduction
- Publication number 20040123254
- Publication date Jun 24, 2004
- International Business Machines Corporation
- Danny Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for integrating test coverage measurements with m...
- Publication number 20030046613
- Publication date Mar 6, 2003
- Eitan Farchi
- G06 - COMPUTING CALCULATING COUNTING

Daniel Geist

Person

Patents Grantslast 30 patents

Speeding matching search of hierarchical name structures

Adding delay elements to enable mapping a time division multiplexin...

Incrementally distributing logical wires onto physical sockets by r...

Method and apparatus for debugging programs

Satisfiability (SAT) based bounded model checkers

Satisfiability (SAT) based bounded model checkers

Satisfiability (SAT) based bounded model checkers

Method and system for integrating test coverage measurements with m...

Identification of missing properties in model checking

Model checking with layered localization reduction

Synchronization for system analysis

Synchronization using bus arbitration control for system analysis

Patents Applicationslast 30 patents

Incrementally Distributing Logical Wires Onto Physical Sockets By R...

METHOD AND APPARATUS FOR DEBUGGING PROGRAMS

UTILIZING TEMPORAL ASSERTIONS IN A DEBUGGER

Satisfiability (SAT) Based Bounded Model Checkers

SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS

Simulation System with Guided Backtracking

Satisfiability (SAT) based bounded model checkers

Model checking with layered localization reduction

Method and system for integrating test coverage measurements with m...