Both the ACT and eVC are implemented using Verisity's e verification language and utilize a common library of e files. Together, according to the companies, the tool enables customers to verify that their systems incorporating the AMBA on-chip bus specification are compliant with AMBA protocols and are functionally correct. As a member of Verisity s Pure IP program, ARM will deliver the ACT as an Invisible Specman toolkit that can be used in a wide range of simulation environments. The Verisity AMBA eVC is a pre-verified, reusable piece of verification code that customers can drop into their designs. The ACT will be available from ARM in Q4 2000.
Pricing is determined by customer-specific requirements.
The AMBA eVC will be available from Verisity in Q4 2000. ARM Holdings plc, an early corporate investor in Palmchip, has restructured its investment and retains a minority position below ten percent. Board level and senior executive changes are also being announced. Michael L. Hackworth, formerly president and currently chairman of Cirrus Logic, Inc., has been elected as Palmchip's chairman of the board. Joseph T. Rodgers, formerly CFO of Quantum Corp. and now a consulting financial advisor to emerging companies, has been elected to a seat on the board of directors.