Arm signs 3-year purchase agreement with Verisity for verification solutions

EDP Weekly's IT Monitor, June 1, 2004

Verisity Ltd. (Nasdaq:VRST), a supplier of Verification Process Automation (VPA) solutions, and ARM (LSE:ARM) (Nasdaq:ARMHY) has announced that ARM has signed a 3-year purchase agreement for Verisity's VPA solutions for their internal verification. In order to satisfy lead Partners, ARM has developed a re-usable verification methodology, using Verisity tools, which enable new processor IP products to be extensively verified in a very short time which significantly reduces the time to first shipment and maintains high quality. Time to first shipment of the IP is not only important to ARM but also the end licensee as this milestone is often on the critical path for their product development. Verisity tools are at the cutting edge of verification technology and ARM will continue to use these tools in the development of its processor cores and platforms in order to ensure the excellent quality of ARM IP deliverables.

"Verisity has been supplying ARM with verification solutions for many years and has been a key partner in developing ARM verification methodologies," said Keith Clarke, VP, Engineering at ARM. "Verisity's latest VPA solutions include a focus on system-level verification, and we look forward to increased verification productivity in our product development programs."

ARM chose Verisity for its technical leadership and its scope of automating verification processes from the block to the chip, system and project levels. In addition, ARM is following Verisity's unique solution roadmap with interest. Verisity's roadmap includes new combinations of technology developed by Verisity and Axis Systems, and includes support for multiple languages.

"As the leader in embedded microprocessors, ARM's commitment to Verisity further validates our strategy to automate a much broader range of SoC verification processes, while tightly coupling these tools with verification infrastructure that scales in performance," said Steve Glaser, vice president of corporate marketing and business development for Verisity.