Haifa
Israel
10
2020-10-06
The entities that hold a legal rights for patent applications filed by inventor GEIST Daniel:
Daniel GEIST from Haifa, IL has applied for patents for these inventions. The list has both pending applications and granted patents:
Adding delay elements to enable mapping a time division multiplexing circuit on an FPGA of a hardware emulator
#2 | 2017-10-12Incrementally distributing logical wires onto physical sockets by reducing critical path delay
#3 | 2013-02-07Method and apparatus for debugging programs
#4 | 2012-11-01UTILIZING TEMPORAL ASSERTIONS IN A DEBUGGER
#5 | 2011-09-01Satisfiability (SAT) based bounded model checkers
#6 | 2010-12-23Satisfiability (SAT) based bounded model checkers
#7 | 2008-05-29Simulation System with Guided Backtracking
#8 | 2007-09-18Method and system for integrating test coverage measurements with model based test generation
#9 | 2007-05-24Satisfiability (SAT) based bounded model checkers
#10 | 2006-10-10Identification of missing properties in model checking
82351 ⎘