Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11250616 | View-dependent carving of reconstructed data from segmentation masks | Adam Kaplan, Yuval Hovers, Ben Raziel | 2022-02-15 |
| 10819968 | Neural network based patch blending for immersive video | Ben Raziel, Asaf Shiloni, Gilad Bauman, Jill MacDonald Boyce, Tzach Ashkenazi +1 more | 2020-10-27 |
| 8949766 | Detecting corresponding paths in combinationally equivalent circuit designs | Oshri Adler, Eli Arbel | 2015-02-03 |
| 7188061 | Simulation monitors based on temporal formulas | Sharon Keidar | 2007-03-06 |
| 7146605 | Automatic abstraction of software source | Cindy Eisner | 2006-12-05 |
| 6715107 | Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest | Dana Fisman, Leonid Gluhovsky, Tali Yatzhar-Haham | 2004-03-30 |
| 6691078 | Target design model behavior explorer | Eli Dichterman, Leonid Gluhovsky, Anna Gringauze, Yossi Malka, Yaron Wolfsthal +1 more | 2004-02-10 |
| 6192505 | Method and system for reducing state space variables prior to symbolic model checking | Cindy Eisner, Yoav Rodeh | 2001-02-20 |