Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8831925 | Indexing behaviors and recipes of a circuit design | Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Ranjan, Lawrence Loh, Beth C. Isaksen +1 more | 2014-09-09 |
| 8731894 | Indexing behaviors and recipes of a circuit design | Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Ranjan, Lawrence Loh, Beth C. Isaksen +1 more | 2014-05-20 |
| 8527911 | Comprehending a circuit design | Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Ranjan, Georgia Penido Safe, Claudionor Coelho | 2013-09-03 |
| 7421668 | Meaningful visualization of properties independent of a circuit design | Chung-Wah Norris Ip | 2008-09-02 |
| 7412674 | System and method for measuring progress for formal verification of a design using analysis region | Vigyan Singhal, Brajesh ARORA | 2008-08-12 |