Company Filing History:
Years Active: 2015-2017
Title: Innovations by Ishay Geller
Introduction
Ishay Geller is a notable inventor based in Mikhmoret, Israel. He has made significant contributions to the field of computing, holding a total of five patents. His work focuses on enhancing computational methods and design verification processes.
Latest Patents
One of his latest patents is titled "Efficient parallel computation of dependency problems." This computing method involves accepting a definition of a computing task that includes multiple Processing Elements (PEs) with execution dependencies. The task is compiled for concurrent execution on a multiprocessor device, arranging the PEs in a series of invocations based on their dependencies. The multiprocessor device runs software code to produce results for the computing task. Another significant patent is "Verification of system assertions in simulation." This method for design verification includes receiving a definition of an integrated circuit device and at least one assertion of a property to be verified. The design is compiled into a graph of processing elements, simulating the operation of the device and evaluating the property during execution.
Career Highlights
Ishay Geller is currently associated with Rocketick Technologies Ltd., where he applies his expertise in computing and design verification. His innovative approaches have contributed to advancements in the efficiency of computational tasks and the reliability of integrated circuit designs.
Collaborations
Some of his notable coworkers include Shay Mizrachi and Uri Tal, who collaborate with him on various projects at Rocketick Technologies Ltd.
Conclusion
Ishay Geller's contributions to computing and design verification through his patents reflect his innovative spirit and dedication to advancing technology. His work continues to influence the field significantly.