Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 8166444 | Clock gating using abstraction refinement | Eli Arbel, Oleg Rokhlenko | 2012-04-24 | $8,319,000 |
| 7146605 | Automatic abstraction of software source | Ilan Beer | 2006-12-05 | $6,328,000 |
| 6192505 | Method and system for reducing state space variables prior to symbolic model checking | Ilan Beer, Yoav Rodeh | 2001-02-20 | $23,750,000 |