ARM Joins Verisity's Pure IP Program; Verisity Tools Utilized by ARM for Validation Solution for AMBA Bus Specification.

Business Editors/High-tech Writers

MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--June 5, 2000

Verisity Ltd., the leading provider of functional verification automation, today announced that ARM (LSE:ARM and Nasdaq:ARMHY) has joined Verisity's Pure IP(TM) program.

ARM has joined the IP program to take advantage of Verisity's customizable methodology for delivering high quality intellectual property (IP) and ensuring easy integration of that IP. In addition, ARM and Verisity have agreed to jointly develop solutions based on Verisity's Specman Elite(TM) for verification of systems for the AMBA bus specification.

The AMBA on chip bus specification is an established, open bus standard that serves as a framework for system-on-chip (SoC) designs. It accelerates SoC construction by providing the "digital glue" that binds IP cores together and is a key component of ARM's reuse strategy.

"Verisity's industry-leading testbench automation technology is a proven method that provides checkers and coverage analysis for a complete validation solution of SoC systems," said Chris Jones, PrimeCell product manager for ARM. "As a member of the Pure IP program, ARM now has an established direct distribution mechanism for delivery of these solutions to our partners."

"ARM's cores and bus designs are prevalent in the market where verification IP is absolutely critical," said Moshe Gavrielov, chief executive officer for Verisity. "This partnership is in direct response to customer demand for enhanced verification reuse and validation methodologies. The Pure IP toolkits will significantly enhance customers ability to take advantage of the AMBA interface and enable ARM core-based designs."

In addition, ARM has also purchased Verisity's Specman Elite for internal use to validate their soft IP components. Specman Elite provides ARM engineers with a functional verification methodology that will automatically generate tests, check results and measure functional coverage of their IP components. ARM was looking for an industry-leading tool that provided a complete solution for validation of SoC systems and easy delivery of those solutions to ARM's partners. Pure IP Program Verisity's Pure IP program eases the development, delivery and integration of IP. The program enables IP developers to thoroughly verify their IP prior to delivery, then package and transfer their knowledge of the IP and integration rules in an executable form through verification toolkits. The toolkits are delivered with the cores and contain a bus functional model (BFM) and checking and coverage analysis capabilities to aid customers in integrating the IP into their system. Customers using the toolkits can automatically check for correctness of the integration and measure the interface coverage between the IP and the system.

By joining the Pure IP program, ARM has licensed the ability to deliver Invisible Specman(TM), a version of Specman Elite(TM) that is transparent to the user, within their verification toolkits. IP integrators can use Invisible Specman without learning or purchasing Specman Elite. About Verisity Verisity Ltd. develops, markets, and supports functional verification automation solutions for engineers to validate complex communications designs and other advanced electronic systems. The company's products automate traditionally manual processes and have enabled customers to cut verification schedules by up to two thirds, shaving months off total project schedules. Verisity is the market leader with over 77 percent market share. The company is headquartered in Rosh-Ha'ain, Israel and has its main sales and marketing office in Mountain View, CA. Verisity's research facilities are also located Israel and California. The company currently employs over 120 people. For more information, see Verisity's web site at www.verisity.com.

Note to Editors: Verisity is a registered trademark of Verisity. Specman Elite, Invisible Specman and Pure IP are trademarks of Verisity. ARM is a registered trademark of ARM Limited. AMBA is a trademark of ARM Limited. All other trademarks are the property of their respective holders.