News
Denali Databahn™

Denali Databahn is the most trusted design IP solution for SoC interfaces such as PCI Express, DDR-SDRAM, and NAND Flash memory. Databahn controllers are fully configurable, and silicon proven in over 27 process nodes.

right pointing arrow Get Databahn today!

Memory Report

The Denali Memory Report (DMR) is now available online, in the form of weekly articles and quarterly webcasts that address trends, analysis, and news for the semiconductor memory industry.

right pointing arrow  Access the DMR now!

 

News

Alliance Semiconductor Selects Denali Verification IP for
Design & Verification of its Products
Denali's PureSpec Ensures Correct, Optimal Design of Chip Interfaces,
Increasing Verification productivity, Overall Product Quality

PALO ALTO, Calif., November 9, 2005 — Denali Software's PureSpec™ verification intellectual property (IP) has been selected by Alliance Semiconductor Communications, Inc., for the design and verification of its products.

Alliance Semiconductor is a leading worldwide provider of high-value memory, mixed-signal and system solution products for the communications, computing, consumer and industrial markets. Its engineers are using PureSpec at the pre-silicon stage of verification to model and simulate interactions with other devices across industry standard interfaces. PureSpec enables Alliance Semiconductor to ensure correct and optimal design of its chip interfaces, ultimately increasing verification productivity and overall product quality.

"Alliance Semiconductor is noted for its broad portfolio of innovative solutions enabled by a leading-edge design and verification environment," says Vic Juneja, Product Marketing Manager for Denali. "We are pleased that it selected Purespec for its design and verification needs, and are committed to its continued success."

Adds Paritosh Kulkarni, Director of ASIC Engineering for Alliance Semiconductor: "PureSpec is the most widely used and highly regarded verification solution, an important consideration for us because functional verification of our chip designs plays a crucial role in supporting our accelerated design schedule. Denali has a product well architected to support our directed and random testing. We are now leveraging that same product architecture to address the functional verification of industry standard interfaces in our chips."

About PureSpec
PureSpec verification IP is the most widely used product for verifying functionality, compliance and interoperability of standard interfaces at the pre-silicon stage of chip or IP core development. PureSpec verification IP includes a configurable bus functional model (BFM), protocol monitor, and complete assertion library for all components in the topology, including the host and one or multiple devices. Composite configurations by port and function are also supported.

PureSpec additionally provides a sophisticated data generation engine to help drive defined, pseudo-random bus traffic at all layers. Injected errors and error conditions are flagged and recovered according to specifications. The highly integrated nature of PureSpec model behavior and its data generation engine enables a sophisticated context-sensitive data generation approach to test plan execution. This enables direct translation from test plan definition to implementation, accelerating the verification task and productivity. A cumulative coverage database capability ensures that the overall test plan sufficiently exercises the design.

PureSpec supports a number of standard interfaces, including: PCI Express, Advanced Switching Interconnect (ASI), AMBA, USB, Ethernet, Serial ATA, and CE-ATA.

PureSpec is available for evaluation at: http://www.denali.com/purespec

About Denali
Denali Software Inc. is the world's leading provider of Electronic Design Automation (EDA) tools and Intellectual Property (IP) solutions for chip interface design, integration and verification. Its Databahn™ IP products offer fully configurable controllers for Flash, DRAM, and hard disk drives. Dataplex™ is an integrated subsystem of Databahn IP cores that provides optimal dataflow from external memory and storage to system designs. Denali's PureSpec™ and MMAV™ verification IP support all complex interfaces, including DRAM, Flash, PCI Express, ASI, AMBA, USB, Ethernet, CE-ATA, and Serial ATA. Denali's Blueprint product is an ESL product for on-chip register design and management. More than 400 companies worldwide use Denali's tools, technology, and services to design and verify complex chip interfaces for communication, consumer, and computer products. For more information, visit Denali at http://www.denali.com, call (650) 461-7200 or email info@denali.com.

The Denali logo, Denali, Blueprint, Databahn , Dataplex,MMAV, and PureSpec are trademarks of Denali Software Inc. All other trademarks are the property of their respective owners

For more information, contact:

Kevin Silver
Denali Software Inc.
650.283.3488
kevin@denali.com

Nanette Collins
Public Relations for Denali Software
617.437.1822
nanette@nvc.com

--end--

© 1994 - 2009 Denali Software, Inc.
Denali, the Denali logo, and Denali Software, Blueprint, Databahn, eMemory, MMAV, PureSpec and SystemRDL are trademarks of Denali Software, Inc. All other trademarks are of their respective owners
Privacy Policy