Issued Patents All Time
Showing 1–25 of 45 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12261165 | Electronic circuits including hybrid voltage threshold logical entities | — | 2025-03-25 |
| 11999568 | Mobile robot interactions independent of localization data | Aravind Durai | 2024-06-04 |
| 11947891 | Balancing cycle stealing with early mode violations | Jayaprakash Udhayakumar, Mithula Madiraju | 2024-04-02 |
| 11928409 | Dynamic abstract generation and synthesis flow with area prediction | Daniel Lewis | 2024-03-12 |
| 11922109 | Predictive antenna diode insertion | Amanda Christine Venton, Michael Alexander Bowen | 2024-03-05 |
| 11507721 | Scan chain wirelength optimization using Q-learning based reinforcement learning | Naiju K. Abdul, George Antony | 2022-11-22 |
| 11036905 | Hierarchical power analysis using improved activity abstraction and capacitance abstraction by accounting for design heterogeneity extremities | Arun Joseph, Spandana V. Rachamalla, Shashidhar Reddy | 2021-06-15 |
| 10990443 | Utilization profiling and scheduling operations using thread specific execution units usage of a multi-core multi-threaded processor | Venkatesh Sainath, Vaidyanathan Srinivasan | 2021-04-27 |
| 10955900 | Speculation throttling for reliability management | Preetham M. Lobo | 2021-03-23 |
| 10933471 | Method for continuous and controllable production of single walled carbon nanotubes | Avetik Harutyunyan, Nam Hawn Chou | 2021-03-02 |
| 10920085 | Alteration of carbon fiber surface properties via growing of carbon nanotubes | Avetik Harutyunyan | 2021-02-16 |
| 10831620 | Core pairing in multicore systems | Manoj Dusanapudi, Prasanna Jayaraman | 2020-11-10 |
| 10354028 | Formal verification driven power modeling and design verification | Anand Haridass, Arun Joseph, Pradeep Kumar Nalla | 2019-07-16 |
| 10216878 | Cross-current power modelling using logic simulation | Arun Joseph, Arya Madhusoodanan, Suriya T. Skariah | 2019-02-26 |
| 10195668 | Method for continuous and controllable production of single walled carbon nanotubes | Avetik Harutyunyan, Nam Hawn Chou | 2019-02-05 |
| 10007747 | Cross-current power modelling using logic simulation | Arun Joseph, Arya Madhusoodanan, Suriya T. Skariah | 2018-06-26 |
| 10002220 | On the fly netlist compression in power analysis | Arun Joseph | 2018-06-19 |
| 9996649 | On the fly netlist compression in power analysis | Arun Joseph | 2018-06-12 |
| 9934873 | Delayed equivalence identification | Raj Kumar Gajavelly, Ashutosh Misra, Pradeep Kumar Nalla | 2018-04-03 |
| 9916406 | Cross-current power modelling using logic simulation | Arun Joseph, Arya Madhusoodanan, Suriya T. Skariah | 2018-03-13 |
| 9754058 | Cross-current power modelling using logic simulation | Arun Joseph, Arya Madhusoodanan, Suriya T. Skariah | 2017-09-05 |
| 9697306 | Formal verification driven power modeling and design verification | Anand Haridass, Arun Joseph, Pradeep Kumar Nalla | 2017-07-04 |
| 9643847 | Method for growth of vertically aligned carbon nanotubes on diamond substrates | Avetik Harutyunyan | 2017-05-09 |
| 9519746 | Addressing early mode slack fails by book decomposition | Mithula Madiraju | 2016-12-13 |
| 9460251 | Formal verification driven power modeling and design verification | Anand Haridass, Arun Joseph, Pradeep Kumar Nalla | 2016-10-04 |