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 ARMARM 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 VerisityVerisity 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.

ENDS

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.

Cookies

Cookie settings

We may collect and store information about your visit to our web site automatically using browser cookies (files which are sent by us to your computer) or similar devices which we can access when you visit our web site in future.
Please read our Cookie Policy to find out more about the cookies we use.

You can control the cookies set by this website by using the slider below, and by saving your settings.
These settings only apply to the ARM Website you are currently visiting and any changes you make will not apply to any other ARM websites.

We cannot turn off cookies which fall under the strictly necessary category, as these are essential in order to enable you to move around the website and use its features.
Please read our Cookie Policy to find out how to control these using your browser settings.

Third parties may also use cookies over which we have no control.
These cookies are likely to be performance cookies or targeting cookies.
Please read our Cookie Policy to find out how to control these using your browser settings.