|
| 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.
Training
Jasper provides training courses in methodology, property
languages, and in using JasperGold family products in
both design and verification engineering flows. Sample
courses include: |
| |
- Introduction to Assertion-based Verification (ABV)
using the Property Specification Language (PSL)
- Introduction to Assertion-based Verification (ABV)
using SystemVerilog Assertions (SVA)
- Formal Assertion-based Verification (ABV) using
JasperGold Express Verification System
- Complete proof of high-level requirements using
JasperGold Verification System
- The seven steps of Formal Testplanning
|
| |
| Consulting |
| Jasper also provides on-site
consulting services to help initiate, deploy and proliferate
structured verification methodologies, write formal testplans
for specific designs, and provide turnkey verification
services. Consulting services are very flexible and can
be tailored to suit your needs – please contact
your Jasper representative for more information. |
|
|
