| 9477802 |
Isolating differences between revisions of a circuit design |
Chung-Wah Norris Ip, Rajeev Ranjan, Beth C. Isaksen, Georgia Penido Safe |
2016-10-25 |
| 9372949 |
Guided exploration of circuit design states |
Ziyad Hanna, Craig Franklin Deaton, Björn Håkan Hjort, Lars Lundgren |
2016-06-21 |
| 8863049 |
Constraining traces in formal verification |
Lars Lundgren, Ziyad Hanna, Chung-Wah Norris Ip, Lawrence Loh |
2014-10-14 |
| 8831925 |
Indexing behaviors and recipes of a circuit design |
Chung-Wah Norris Ip, Rajeev Ranjan, Lawrence Loh, Beth C. Isaksen, Yann Alain Antonioli +1 more |
2014-09-09 |
| 8731894 |
Indexing behaviors and recipes of a circuit design |
Chung-Wah Norris Ip, Rajeev Ranjan, Lawrence Loh, Beth C. Isaksen, Yann Alain Antonioli +1 more |
2014-05-20 |
| 8630824 |
Comprehending waveforms of a circuit design |
Chung-Wah Norris Ip, Rajeev Ranjan, Beth C. Isaksen, Karl Stefan Esbjörner, Craig Franklin Deaton |
2014-01-14 |
| 8527911 |
Comprehending a circuit design |
Chung-Wah Norris Ip, Rajeev Ranjan, Georgia Penido Safe, Claudionor Coelho, Yann Alain Antonioli |
2013-09-03 |
| 8205187 |
Generalizing and inferring behaviors of a circuit design |
Claudionor Coelho, Chung-Wah Norris Ip, Harry D. Foster, Rajeev Ranjan, Georgia Penido Safe |
2012-06-19 |