Verisity and ARM Deliver Verification Process Automation Solutions For ARM Powered SOCs

16 February 2004

MOUNTAIN VIEW, CALIF., AND CAMBRIDGE, UK– Feb. 16, 2004 – Verisity Ltd. (Nasdaq:VRST), the leading supplier of Verification Process Automation (VPA) solutions, and ARM [(LSE:ARM); (Nasdaq:ARMHY)], the industry’s leading provider of 16/32-bit embedded RISC processor solutions today announced their collaboration to provide mutual customers with verification Intellectual Property (IP) solutions that address the ever-growing complexities of system-level verification. The two companies will jointly develop verification IP for the ARM11™ core family. Starting with the AXI e Verification Component (eVC), and advanced methodologies based on Verisity’s VPA solutions.

Many of the ARM® semiconductor Partners are pushing the limit of system integration on a single chip. These designs, many of which are based on the ARM11 microarchitecture require billions of verification cycles and hundreds of Gbytes of information, distributed over several compute and engineering resource locations. It is with this problem in mind that ARM has teamed up with Verisity to help ease the issues associated with the verification of these next-generation designs.

“We believe that the next generation of chip developments need an automated verification process that spans the block, system, and project levels,” said Alan Hunter, Verification Methodology manager, ARM. “The VPA solutions offered by Verisity, work well with a new set of verification IP components, under development, and enable our customers to run ARM verification suites out-of-the-box. This will make the verification of ARM core-based design quicker and easier in the future.”

The ARM11 processor family comprises a range of high-performance microprocessor cores and platforms that exploit the new high-data throughput AMBA™ 3.0 AXI bus system. The AXI eVC will be part of a complete verification environment for the AXI bus, including block and chip level scenario generation, data and assertion checking and specification based functional coverage analysis. The AXI eVC will comply with Verisity’s e Reuse Methodology (eRM™) and will run AXI verification scenarios, supplied by ARM.

“Solving the challenges of system-level verification requires automated processes leveraging reuseable, adaptable verification environments,,” said Steve Glaser, vice president of corporate marketing and business development for Verisity. “The verification IP ARM and Verisity are jointly developing will enable the highest productivity and scalability, while supporting a spec-driven verification flow all the way through closure.”

About ARM
ARM is the industry’s leading provider of 16/32-bit embedded RISC microprocessor solutions. The company licenses its high-performance, low-cost, power-efficient RISC processors, peripherals, and system-on-chip designs to leading international electronics companies. ARM also provides comprehensive support required in developing a complete system. ARM's microprocessor cores are rapidly becoming the volume RISC standard in such markets as portable communications, hand-held computing, multimedia digital consumer and embedded solutions. More information on ARM is available at http://www.arm.com.

About Verisity
Verisity Ltd. (Nasdaq: VRST), is the leading supplier of process automation solutions for the functional verification market. The Company addresses customers’ critical business issues with its market-leading software and intellectual property (IP) that effectively and efficiently verify the design of electronic systems and complex integrated circuits for the communications, computing, and consumer electronics global markets. Verisity’s VPA solutions enable projects to move from executable verification plans to module, unit, and chip/system level 'total coverage' and verification closure, while maximizing productivity, product quality, and predictability of schedules. The Company’s strong market presence is driven by its proven technology, methodology and solid strategic partnerships and programs. Verisity’s customer list includes leading companies in all strategic technology sectors. Verisity is a global organization with offices throughout Asia, Europe, and North America. Verisity’s principal executive offices are located in Mountain View, California, with its principal research and development offices located in Rosh Ha’ain, Israel. For more information, visit www.verisity.com.



ARM is a registered trademark of ARM Limited. ARM11 and AMBA are trademarks of ARM Limited.  All other brands or product names are the property of their respective holders.  “ARM” is used to represent ARM Holdings plc (LSE: ARM and Nasdaq: ARMHY); its operating company ARM Limited; and the regional subsidiaries ARM INC.; ARM KK; ARM Korea Ltd.; ARM Taiwan; ARM France SAS; and ARM Consulting (Shanghai) Co. Ltd.; and ARM Belgium N.V.

Verisity and the Verisity logo are either registered trademarks or trademarks of Verisity Design, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.


We use cookies to give you the best experience on our website. By continuing to use our site you consent to our cookies.

Change Settings

Find out more about the cookies we set