Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11157671 | Method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design | Peter Warkentin, Arun Chandrasekharan | 2021-10-26 |
| 9836390 | Static analysis of computer code to determine impact of change to a code component upon a dependent code component | Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong | 2017-12-05 |
| 9032376 | Static analysis of computer code to determine impact of change to a code component upon a dependent code component | Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong | 2015-05-12 |