CIMdata PLM Industry Summary Online Archive

19 October 2004

Product News

Denali Announces Products for ARM's AMBA AXI Interface

Denali Software, Inc., announced two new products-an intellectual property (IP) core and design and verification IP software-for use in the design and verification of chips incorporating ARM's AMBAT AXI interface.

This announcement coincides with the ARM Developers' Conference where Denali is a sponsoring exhibitor. The conference starts today and runs through Thursday, October 21, at the Santa Clara Convention Center in Santa Clara, Calif. For details, visit:   http://www.arm.com/developersconference/ .

Denali's new verification IP product, PureSpec-AXI, leverages technology from its PureSpecT product line to provide a comprehensive solution for pre-silicon verification of functionality, compliance and system-level verification of designs utilizing the AMBA AXI architecture.

The new IP core, Databahn-AXI, builds upon Denali's silicon-proven DatabahnT DDR controller IP, and provides developers with a native AMBA AXI interface for its DDR-based memory controller cores.

PureSpec-AXI is a comprehensive solution for verifying functionality, compliance and interoperability of AMBA AXI-based designs at the pre-silicon stage of chip or IP core development. It models the full AMBA AXI protocol specification, and includes a complete set of assertions for temporal and functional verification of the interface. For more information, visit:   http://www.denali.com/purespec .

 

Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.

Tell us what you think of the CIMdata Newsletter. Send your feedback.

CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.

Subscribe