Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11182132 | Determining functional equivalence of configurations of a model | Ravi Vompolu, Ivan Garcia, Gareth Thomas, Paul Cox, Pieter J. Mosterman | 2021-11-23 |
| 11144434 | Refining coverage analyses using context information | William F. Potter, William J. Aldrich, Aaron Hughes, Anjali Joshi, Zsolt Kalmar | 2021-10-12 |
| 11144684 | Method and system for improving efficacy of model verification by model partitioning | Dixit Manoj Gangadhar, Prahladavaradan Sampath, Janaki Sivaramakrishnan, William J. Aldrich | 2021-10-12 |
| 11048487 | Syntactical change-resistant code generation | — | 2021-06-29 |