| 10734816 |
Identifying operability failure in demand response (DR) assets |
Vijay Bhat, Henry Schwarz |
2020-08-04 |
| 10162374 |
Determining load reductions in demand response systems |
Abishek Bahl, Vijay Bhat |
2018-12-25 |
| 7788556 |
System and method for evaluating an erroneous state associated with a target circuit |
Jawahar Jain, Subramanian K. Iyer, Debashis Sahoo |
2010-08-31 |
| 7571403 |
Circuit verification |
Jawahar Jain, Subramanian K. Iyer, Debashis Sahoo, Christian Stangier |
2009-08-04 |
| 7332974 |
Method and apparatus for steady state analysis of a voltage controlled oscillator |
Amit Mehrotra |
2008-02-19 |
| 7216312 |
Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures |
Jawahar Jain, Yoshihisa Kojima, Takaya Ogawa, Subramanian K. Iyer, Debashis Sahoo |
2007-05-08 |
| 7032197 |
System and method for executing image computation associated with a target circuit |
Jawahar Jain, Subramanian K. Iyer, Debashis Sahoo, Christian Stangier |
2006-04-18 |
| 7028279 |
Circuit verification |
Jawahar Jain, Subramanian K. Iyer, Debashis Sahoo, Christian Stangier |
2006-04-11 |
| 6904578 |
System and method for verifying a plurality of states associated with a target circuit |
Jawahar Jain, Subramanian K. Iyer, Debashis Sahoo |
2005-06-07 |
