| Jasper Design Automation,
Jasper Design, Jasper, the Jasper Design Automation logo,
JasperGold Verification System, PreCognitive Formal Verification,
PreCognitive Engine, and Jasper Formal Testplanner are
trademarks of Jasper Design Automation, Inc. All other
trademarks or registered trademarks are the property
of their respective owners. |
