Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9652213 | Global optimization and verification of cyber-physical systems using floating point math functionality on a system with heterogeneous hardware components | James C. Nagle, J. Marcus Monroe, Alexandre M. Barp, Jeffrey L. Kodosky, Hugo Andrade +2 more | 2017-05-16 |