| 11704448 |
Computer implemented system and method of translation of verification commands of an electronic design |
Felicia James, Xiyuan Wu |
2023-07-18 |
| 11657201 |
Computer implemented system and method of identification of useful untested states of an electronic design |
Felicia James |
2023-05-23 |
| D973518 |
HVAC controller housing |
Surendran Ramasamy, Stephen J. Vendt, Arun Kunasekaran, Steve Lazar, Melissa Amoros +1 more |
2022-12-27 |
| 11436883 |
Secured tethering process between devices |
Jose Luis Vega, Howard Shen, Jon Fong Quan |
2022-09-06 |
| 11074373 |
Computer implemented system and method of translation of verification commands of an electronic design |
Felicia James, Xiyuan Wu |
2021-07-27 |
| 11003824 |
Computer implemented system and method of identification of useful untested states of an electronic design |
Felicia James |
2021-05-11 |
| 10963608 |
System and method for passive verification |
Felicia James |
2021-03-30 |
| 10691857 |
Computer implemented system and method of identification of useful untested states of an electronic design |
Felicia James |
2020-06-23 |
| 10621290 |
Computer implemented system and method of translation of verification commands of an electronic design |
Felicia James, Xiyuan Wu |
2020-04-14 |
| 10599793 |
System and method for passive verification |
Felicia James |
2020-03-24 |
| 10474784 |
Method and system for defining generic topologies for use in topology matching engines |
Minas Hambardzumyan, Ryan W. Eatmon |
2019-11-12 |
| 10402505 |
Computer implemented system and method of translation of verification commands of an electronic design |
Felicia James, Xiyuan Wu |
2019-09-03 |
| 10339237 |
System and method for passive verification |
Felicia James |
2019-07-02 |
| 10262093 |
Computer implemented system and method of identification of useful untested states of an electronic design |
Felicia James |
2019-04-16 |
| 9886536 |
System and method for passive verification |
Felicia James |
2018-02-06 |
| 9875325 |
Computer implemented system and method of identification of useful untested states of an electronic design |
Felicia James |
2018-01-23 |
| 9715566 |
Computer implemented system and method of translation of verification commands of an electronic design |
Felicia James, Xiyuan Wu |
2017-07-25 |
| 9536028 |
Method and system of change evaluation of an electronic design for verification confirmation |
Yue Deng |
2017-01-03 |
| 9147026 |
Method and system of change evaluation of an electronic design for verification confirmation |
Yue Deng |
2015-09-29 |
| 8930877 |
Method and system of change evaluation of an electronic design for verification confirmation |
Yue Deng |
2015-01-06 |