|
Services |
| |
 |
|
Training and Consulting
Jasper recognizes that successful EDA companies partner with their customers to solve problems, not just provide products. Jasper has a well-established tradition of providing excellent customer support, methodology consulting, training, turnkey proof kit development, and other services to ensure that our customers are successful in their verification projects and benefit from targeted ROI.
Training
Jasper provides training courses in using Jasper solutions across the spectrum of applications, in property languages, and in methodology. |
|
| |
Sample courses include:
- ActiveDesign training
- Complete proof of high-level requirements using JasperGold Verification System
- Standard JasperGold training
- Advanced JasperGold training
- Introduction to Assertion-based Verification (ABV) using the Property Specification Language (PSL)
- Introduction to Assertion-based Verification (ABV) using SystemVerilog Assertions (SVA)
- The seven steps of Formal Testplanning
|
| |
Consulting |
| |
Jasper also provides on-site consulting services to help initiate, deploy and proliferate RTL development, verification, and design reuse. Consulting services are very flexible and can be tailored to suit your needs – turnkey verification services with JasperGold, and ActiveDesign-based Design Activation Services for internal or commercial IP.
Jasper services support the solutions offered by Jasper Design Automation, as shown. Explore how you can benefit from Jasper formal technology solutions with Targeted ROI.
- JasperGold
- ActiveDesign
- JasperCore
Contact Jasper at info@jasper-da.com |
|
 |
|
| |
|
|
