For the Inventor, By the Inventor

Enter assignee name

Mountain View, CA, United States of America

Jasper Design Automation, Inc.

USPTO Granted Patents = 34

Trademarks = 1

Forward Citations = 453

Loading Chart...

Loading Chart...

37 inventors (with patents filed for the assignee):

Chung-Wah Norris Ip (18 out of 30 patents)

Lawrence Loh (12 out of 18 patents)

Vigyan Singhal (9 out of 14 patents)

4. Rajeev Kumar Ranjan (6 out of 10 patents)

5. Kathryn Drews Kranen (6 out of 8 patents)

6. Howard Wong-Toi (6 out of 6 patents)

7. Yann Alain Antonioli (5 out of 5 patents)

8. Craig Franklin Deaton (4 out of 9 patents)

9. Ziyad Hanna (4 out of 17 patents)

10. Joseph E Higgins (4 out of 5 patents)

11. Chien-Liang Lin (3 out of 7 patents)

12. Beth C Isaksen (3 out of 4 patents)

13. Asa Ben-Tzur (3 out of 3 patents)

14. Soe Myint (3 out of 4 patents)

15. Claudionor José Nunes Coelho (3 out of 3 patents)

34 patents: Sort by Forward Citations

1. 9460252 - Functional property ranking (2016-10-04),

2. 9449196 - Security data path verification (2016-09-20),

3. 9104824 - Power aware retention flop list analysis and modification (2015-08-11),

4. 9081927 - Manipulation of traces for debugging a circuit design (2015-07-14),

5. 8990745 - Manipulation of traces for debugging behaviors of a circuit design (2015-03-24),

6. 8984461 - Visualization constraints for circuit designs (2015-03-17),

7. 8954904 - Veryifing low power functionality through RTL transformation (2015-02-10),

8. 8863049 - Constraining traces in formal verification (2014-10-14),

9. 8831925 - Indexing behaviors and recipes of a circuit design (2014-09-09),

10. 8826201 - Formal verification coverage metrics for circuit design properties (2014-09-02),

11. 8739092 - Functional property ranking (2014-05-27),

12. 8731894 - Indexing behaviors and recipes of a circuit design (2014-05-20),

13. 8671373 - Analysis of circuit designs via trace signatures (2014-03-11),

14. 8630824 - Comprehending waveforms of a circuit design (2014-01-14),

15. 8572527 - Generating properties for circuit designs (2013-10-29),

Jasper Design Automation, Inc. is a provider of formal verification software and solutions for semiconductor design and verification teams. With their patented technology and advanced algorithms, Jasper helps companies improve their productivity, accelerate time-to-market, and attain better design quality. Their tools assist in checking complex integrated circuits (ICs) for critical design issues and verifying their correctness. Find out more about Jasper Design Automation, Inc. and their offerings by visiting their website.

This text is generated by artificial intelligence and may not be accurate.

Company Badge

USPTO Data Jan 1 1976 - Dec 30 2025

34 Patents

#77 in Mountain View, CA

#2,306 in California

#9,680 in US

#19,058 in the World

Mountain View, CA, United States of America

Jasper Design Automation, Inc.

Forward Citations = 453

37 inventors:

Chung-Wah Norris Ip (18 out of 30 patents)

Lawrence Loh (12 out of 18 patents)

Vigyan Singhal (9 out of 14 patents)

4. Rajeev Kumar Ranjan (6 out of 10 patents)

5. Kathryn Drews Kranen (6 out of 8 patents)

Please report any incorrect information to support@idiyas.com

Loading…