Mountain View, California
United States
4
2013-02-19
4
2013-02-19
These are the the leading inventors for applications assigned to Jasper Design Automation:
Jasper Design Automation based in Mountain View, US has been assigned the rights to these inventions. The list includes both Pending Applications and Patent Grants:
Formal verification of deadlock property
#2 | 2008-10-14 ✅ Patent 7,437,694 granted on 2008-10-14System and method for determining and identifying signals that are relevantly determined by a selected signal in a circuit design
#3 | 2008-08-12 ✅ Patent 7,412,674 granted on 2008-08-12System and method for measuring progress for formal verification of a design using analysis region
#4 | 2007-01-02 ✅ Patent 7,159,198 granted on 2007-01-02System and method for identifying design efficiency and effectiveness parameters for verifying properties of a circuit model
664860 ⎘