Issued Patents 2022
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11474795 | Static enforcement of provable assertions at compile | Nader W. Moussa | 2022-10-18 |
| 11468338 | Compiling models for dedicated hardware | Francesco Rossi, Cecile M. Foret, Gaurav Kapoor, Kit-Man Wan, Umesh S. Vaishampayan +4 more | 2022-10-11 |