Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12374394 | Degradation-aware training scheme for reliable memristor deep learning accelerator design | Dharanidhar Dang, Bill Lin, Rabi Mahapatra, Aurosmita Khansama, Sudharsan Govardan | 2025-07-29 |
| 10399713 | Devices and methods for formulation processing | Daniel Py, Julian V. Chan | 2019-09-03 |
| 10086963 | Sterilizing apparatus and related method | Daniel Py, Norbert M. Assion, Nathaniel Houle, M. Jeffrey Willey, Eric E. Hartman +1 more | 2018-10-02 |
| 9022079 | Container closure with overlying needle penetrable and resealable portion and underlying portion compatible with fat containing liquid product, and related method | Daniel Py, Norbert M. Assion, Nathaniel Houle, M. Jeffrey Willey, Eric E. Hartman +1 more | 2015-05-05 |
| 8132600 | Container closure with overlying needle penetrable and resealable portion and underlying portion compatible with fat containing liquid product, and related method | Daniel Py, Norbert M. Assion, Nathaniel Houle, M. Jeffrey Willey, Eric E. Hartman +1 more | 2012-03-13 |
| 7954521 | Container closure with overlying needle penetrable and thermally resealable portion and underlying portion compatible with fat containing liquid product, and related method | Daniel Py, Norbert M. Assion, Nathaniel Houle, M. Jeffrey Willey, Eric E. Hartman +1 more | 2011-06-07 |
| 7788556 | System and method for evaluating an erroneous state associated with a target circuit | Jawahar Jain, Subramanian K. Iyer, Amit Narayan | 2010-08-31 |
| 7594195 | Multithreaded reachability | Jawahar Jain | 2009-09-22 |
| 7571403 | Circuit verification | Jawahar Jain, Subramanian K. Iyer, Amit Narayan, Christian Stangier | 2009-08-04 |
| 7281225 | Circuit verification using multiple engines | Jawahar Jain, Koichiro Takayama | 2007-10-09 |
| 7216312 | Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures | Jawahar Jain, Amit Narayan, Yoshihisa Kojima, Takaya Ogawa, Subramanian K. Iyer | 2007-05-08 |
| 7032197 | System and method for executing image computation associated with a target circuit | Jawahar Jain, Subramanian K. Iyer, Amit Narayan, Christian Stangier | 2006-04-18 |
| 7028279 | Circuit verification | Jawahar Jain, Subramanian K. Iyer, Amit Narayan, Christian Stangier | 2006-04-11 |
| 6904578 | System and method for verifying a plurality of states associated with a target circuit | Jawahar Jain, Amit Narayan, Subramanian K. Iyer | 2005-06-07 |