Issued Patents 2020
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10776255 | Automatic verification of optimization of high level constructs using test vectors | Iain A. Ireland, Allan H. Kielstra, David Kevin Siegwart, Toshihiko Koju | 2020-09-15 |
| 10725780 | Convert to zoned format from decimal floating point format | Steven R. Carlough, Charles W. Gainey, Jr., Marcel Mitran, Eric M. Schwarz, Timothy J. Slegel | 2020-07-28 |
| 10719324 | Convert to zoned format from decimal floating point format | Steven R. Carlough, Charles W. Gainey, Jr., Marcel Mitran, Eric M. Schwarz, Timothy J. Slegel | 2020-07-21 |
| 10664252 | Inserting implicit sequence points into computer program code to support debug operations | Christopher E. Bowler, Chen Chen, Tommy U. Hoffner, Tarique M. Islam, Raul E. Silvera | 2020-05-26 |
| 10534612 | Hybrid polymorphic inline cache and branch target buffer prediction units for indirect branch prediction for emulation environments | Carlos D. Cavanna, Chad McIntyre, Ali I. Sheikh | 2020-01-14 |