| 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 |
