Jasper Names HASS Technology Distributor for China Mountain View, Calif., 09/01/09 – Jasper Design Automation, provider of advanced formal technology solutions, has named HASS Technology as its distributor in China and Taiwan.
Tilera Adopts Broad Range of Cadence Solutions for Multicore Processor Design SAN JOSE, Calif., 08/25/09 – Cadence Design Systems, Inc. (NASDAQ: CDNS), the leader in global electronic design innovation, announced today that fabless semiconductor company Tilera Corporation has utilized the full range of Cadence design technologies to develop its innovative, highly scalable multicore embedded processors.
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.
ARM Selects Jasper for Formal Verification of IP MOUNTAIN VIEW, Calif., 05/19/09 – Jasper Design Automation, provider of advanced formal technology solutions, today announced its JasperGold® Verification System has been adopted by ARM.