Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6292916 | Parallel backtracing for satisfiability on reconfigurable hardware | Miron Abramovici, Jose Teixeira De Sousa | 2001-09-18 |
| 5831996 | Digital circuit test generator | Miron Abramovici | 1998-11-03 |