Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12418508 | Inferring cloud network connectivity as a minimal list of firewall rules | Adi Sosnovich, Ziv Nevo, Gil Eliezer Shurek, Shai Doron | 2025-09-16 |
| 11321792 | Enforceable contract generation | Sima Nadler, Ziv Nevo, Roee Shlomo, Tomer Solomon | 2022-05-03 |
| 11195137 | Model-driven and automated system for shared resource solution design | Takayuki Kushida, Hamid Reza Motahari Nezhad, Taiga Nakamura, Scott R. Trent, Peifeng Yin | 2021-12-07 |
| 10915436 | System level test generation using DNN translation from unit level test | Fady Copty | 2021-02-09 |
| 9454382 | Verification of UML state machines | Oshri Adler, Natalia Razinkov | 2016-09-27 |
| 8856755 | Dominant-state-based coverage metric | Hana Chockler, Dmitry Pidan, Sitvanit Ruah | 2014-10-07 |
| 8683441 | Software equivalence checking | Sharon Keidar-Barner | 2014-03-25 |
| 8589841 | Automatic parity checking identification | Eli Arbel, Sergey Novimov | 2013-11-19 |
| 8539403 | Reducing observability of memory elements in circuits | Eli Arbel, Cynthia Rae Eisner, Oleg Rokhlenko | 2013-09-17 |
| 8453082 | Soft error verification in hardware designs | Sharon Keidar-Barner, Ohad Shacham | 2013-05-28 |
| 8296256 | SAT-based synthesis of a clock gating function | Eli Arbel, Oleg Rokhlenko | 2012-10-23 |
| 8086972 | Functional verification of power gated designs by compositional reasoning | Cynthia Rae Eisner | 2011-12-27 |
| 7401305 | Adaptive application of SAT solving techniques | Ohad Shacham | 2008-07-15 |
| 7225417 | Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design | Edmund M. Clarke, Daniel Kroening | 2007-05-29 |