| 12423503 |
Computer-implemented verification of a hardware design implementation against a natural language description of the hardware design or software code against a natural language description of a software application |
Edward Carlisle, IV, Scott HARPER, Steven Frederiksen |
2025-09-23 |
| 12166909 |
Computer technology to ensure an electronic design automation (EDA) implementation for electronic circuitry is traceable, auditable, and reproducible |
Ali Asgar SOHANGHPURWALA, Scott HARPER, Carlton FRALEY, Alan COOK, Timothy G. Dunham |
2024-12-10 |
| 11531773 |
Verification of bitstreams |
Ali Asgar SOHANGHPURWALA, Scott HARPER |
2022-12-20 |
| 10902132 |
Private verification for FPGA bitstreams |
Ali Asgar SOHANGHPURWALA, Scott HARPER |
2021-01-26 |
| 8473754 |
Hardware-facilitated secure software execution environment |
Mark T. Jones, Peter M. Athanas, Cameron Patterson, Joshua N. Edmison, Anthony Mahar +2 more |
2013-06-25 |
| 7902866 |
Wires on demand: run-time communication synthesis for reconfigurable computing |
Cameron Patterson, Peter M. Athanas, John K. Bowen, Timothy G. Dunham, Justin D. Rice +2 more |
2011-03-08 |