VERISITY AND ARM DELIVER VERIFICATION PROCESS AUTOMATION SOLUTIONS

MOUNTAIN VIEW, CALIF., AND CAMBRIDGE (ots) -



Companies Expand Strategic Relationship to Supply

Full System-Level Solutions for ARM11 Core Family-Based Designs



Key message points for analysts and journalists:



- ARM and Verisity announce that they will collaborate to produce

Verification IP to help mutual customers verify ARM core-based

designs more quickly and thoroughly.



- This Verification IP will be compatible with Verisity tools and

AXI bus structures enabling the ARM verification files, supplied

to ARM Partners to be run out-of-the-box.



- Veristiy tool users, including many leading ARM Partners will be

able to use the verification files written by and delivered by

ARM. This is not automatic today; this will make the

verification task easier and quicker.



- The first examples of this should be available during 3Q04





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(TM) core family. Starting with the AXI

e Verification Component (eVC), and advanced methodologies based on

Verisity's VPA solutions.



Many of the ARM(R) 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(TM) 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(TM)) 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.



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.





Press contact:

Rebecca Horsfall

+44 (0) 1223 400947