|
|
Article: ARM Selects Jasper for Formal Verification of IP.
- Article from:
- Biotech Week
- Article date:
- June 3, 2009
CopyrightCOPYRIGHT 2009 NewsRX. This material is published under license from the publisher through the Gale Group, Farmington Hills, Michigan. All inquiries regarding rights should be directed to the Gale Group. (Hide copyright information)
|
Jasper Design Automation, provider of advanced formal technology solutions, announced its JasperGold® Verification System has been adopted by ARM (see also Jasper Design Automation).
John Goodenough, ARM Director of Design Technology, commented, "ARM is applying Jasper technology to the design and verification of increasingly sophisticated IP, with a view to increased assurance levels, reduced verification effort, and lower risk and support costs."
JasperGold is enabling ARM to address IP development needs through application of formal verification to complex processor designs, utilizing JasperGold's proof engines as well as productivity enhancers ...