Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8296697 | Method and apparatus for performing static analysis optimization in a design verification system | Shlomi Uziel, Amos Noy | 2012-10-23 |
| 7870523 | System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction | Shlomi Uziel, Amos Noy, Vitaly Lagoon, Yael Kinderman | 2011-01-11 |