| 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 |
