Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11675976 | Exploitation of domain restrictions for data classification | Ariel Farkash, Lev Greenberg, Micha Moffie | 2023-06-13 |
| 11194841 | Value classification by contextual classification of similar values in additional documents | Ariel Farkash, Micha Moffie | 2021-12-07 |
| 8412507 | Testing the compliance of a design with the synchronization requirements of a memory model | Allon Adir | 2013-04-02 |
| 8280713 | Automatic generation of test suite for processor architecture compliance | Allon Adir, Laurent Fournier, Itai Jaeger | 2012-10-02 |
| 7673261 | Systematic compliance checking of a process | Alion Adir, Laurent Fournier, Itai Jaeger, Ofer Peled | 2010-03-02 |
| 7028067 | Generation of mask-constrained floating-point addition and subtraction test cases, and method and system therefor | Ziv Abraham, Anatoly Koyfman, Shay Zadok | 2006-04-11 |