Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10657257 | Feature vector aggregation for malware detection | Fady Copty, Dov Murik, Tamer Salman | 2020-05-19 |
| 8539403 | Reducing observability of memory elements in circuits | Eli Arbel, Oleg Rokhlenko, Karen Frida Yorav | 2013-09-17 |
| 8245178 | Method for multi-cycle clock gating | Monica Farkash | 2012-08-14 |
| 8209667 | Software verification using hybrid explicit and symbolic model checking | Ziv Glazberg, Sharon Keidar-Barner, Ishai Rabinovitz | 2012-06-26 |
| 8086972 | Functional verification of power gated designs by compositional reasoning | Karen Frida Yorav | 2011-12-27 |
| 7853907 | Over approximation of integrated circuit based clock gating logic | Israel Berger, Alexander Itskovich, Dan Ramon | 2010-12-14 |
| 7725851 | Device, system and method for formal verification | Sharon Keidar-Barner, Sitvanit Ruah, Ohad Shacham, Tatyana Veksler | 2010-05-25 |
| 7676778 | Circuit design optimization of integrated circuit based clock gated memory elements | Eli Arbel, Alexander Itskovich, Nicolas Maeding | 2010-03-09 |
| 7594200 | Method for finding multi-cycle clock gating | Monica Farkash | 2009-09-22 |
| 7562325 | Device to cluster Boolean functions for clock gating | Eli Arbel, Oded Fuhrmann, Alexander Itskovich, David J. Levitt | 2009-07-14 |
| 7484187 | Clock-gating through data independent logic | Peter Hofstee, Alexander Itskovich, Daniel Stasiak | 2009-01-27 |
| 7458050 | Methods to cluster boolean functions for clock gating | Eli Arbel, Oded Fuhrmann, Alexander Itskovich, David J. Levitt | 2008-11-25 |