|
|
Article: Jasper Design Automation Introduces Multi-Proof JasperCore for Powerful, Scalable Formal Verification Deployment.
- Article from:
- Electronics Newsweekly
- Article date:
- July 29, 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, announces its latest product, JasperCore™. JasperCore harnesses the proven capabilities of the company's formal analysis engines to boost productivity and decrease the cost of deployment by performing numerous parallel runs using ProofGrid™, a new capability that distributes formal technology. Together, JasperCore and ProofGrid allow users to implement multiple proofs, tasks, and applications, across multiple cores and computers, efficiently serving multiple users, even across multiple business units.
ProofGrid, presently included in both JasperCore and JasperGold[R] (the ...