Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12198037 | Hardware architecture determination based on a neural network and a network compilation process | Omer Shabtai, Yotam Platner | 2025-01-14 |
| 10635845 | Method and apparatus for improving Boolean satisfiability solver generated based on input design with data qualifier signals | Yael Meller, Roy Armoni | 2020-04-28 |
| 10599802 | Methods for automatic engineering change order (ECO) bug fixing in integrated circuit design | Roy Armoni | 2020-03-24 |
| 10460060 | Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets | Roy Armoni | 2019-10-29 |
| 10140405 | Method and apparatus for finding logic equivalence between register transfer level and post synthesis nets | Roy Armoni | 2018-11-27 |