Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9064063 | Methods, systems, and articles of manufacture for implementing interactive, real-time checking or verification of complex constraints | Henry Yu, Joshua Baudhuin, Regis Colwell, Elias Lee Fallon, Sanjib Ghosh +8 more | 2015-06-23 |
| 8694943 | Methods, systems, and computer program product for implementing electronic designs with connectivity and constraint awareness | Henry Yu, Roland Ruehl, Elias Lee Fallon, Regis Colwell, Joshua Baudhuin +8 more | 2014-04-08 |
| 7886243 | System and method for using rules-based analysis to enhance models-based analysis | Udayan Gumaste, Roland Ruehl, Mathew Koshy | 2011-02-08 |