Celoxica Releases Platform-based Co-verification Solution for Embedded Systems

9/24/2002 - Celoxica announced the availability of the Nexus PDK co-verification solution, designed to dramatically shorten the verification cycle for embedded systems. Nexus PDK provides the hub of a system co-verification environment by performing high-level simulations of embedded platforms and co-simulating hardware and software implementations with popular third-party ISS and RTL tools. The Nexus PDK solution also enables designers to quickly develop high-level embedded platform designs using a built-in Platform Developer's Kit.

As system complexity increases, functional verification has emerged as a primary design bottleneck. In today's systems, the functional verification strategy must address both hardware and software implementations. However, most current design flows treat verification as a back-end process. In addition, hardware and software are treated as separate design efforts, leaving system integration and verification until long after important partitioning decisions have been set in stone. No wonder Gary Smith, Dataquest's chief EDA analyst, pronounced 'Today the biggest challenge in EDA is to resolve the incompatibility of the hardware design methodology and the software design methodology.'

The Nexus PDK solution addresses the hardware/software methodology divide by enabling system designers to first model platforms of their system using C-based high-level software languages, and then verifying those embedded platforms in a verification environment with co-simulation capability. The Platform Developer's Kit (PDK) provided with the tool supplies cores and API standards supporting platform development at high levels of abstraction. A Platform Abstraction Layer provides the platform developer with technology-independent interfaces to external physical devices such as memory, data ports, displays and video I/O. In addition, a Data Streaming Manager provides an API to simplify the partitioning and interaction of system functionality between software applications on a microprocessor, and those functions implemented in custom hardware. The Nexus PDK solution also includes a Platform Support Library containing pre-built functions that aide in the rapid development of embedded platforms.

"Until now addressing the verification challenge at the system level has been an unrealized goal," said Phil Bishop, CEO of Celoxica. "The Nexus PDK solution provides both the advanced co-verification environment and the means to quickly develop the models that will make platform-based design practical for all types of systems. And integration with the DK design suite provides a proven and repeatable path to hardware implementation once the functionality is verified."

The Nexus PDK co-verification solution is integrated with Celoxica's DK design suite to allow designers to automatically map high-level C-based models into reprogrammable hardware. The DK software is used by over 100 companies worldwide to automatically implement device optimized hardware from C-based high-level descriptions written in Handel-C, a hardware implementation superset of ANSI-C. The Nexus PDK co-verification solution makes use of proven DK technology to extend the advantages of software methodologies using multiple high-level design languages to the problem of verifying complex systems.

Pricing and Availability
Pricing for the Nexus PDK co-verification solution starts with a license fee of U.S. $25,000 based on a one-year, floating term license. This includes the Nexus PDK verification environment with co-simulation capability, and the Platform Developer's Kit for rapid embedded platform development. The software is available for computing platforms with Windows NT4, Windows 2000 and Windows XP. Design verification services and applications consulting are available to assist customers in adopting a Software-Compiled System Design verification strategy.

About Celoxica
An innovator in system-level electronic design automation (EDA), Celoxica is the technology leader for Software-Compiled System Design, a process that accelerates design productivity by using high-level languages to directly drive design verification and implementation. Celoxica provides tools and services that support the co-design, verification and implementation of hardware and software through a platform-based design methodology. By providing a proven route to hardware design using software techniques, the Celoxica solutions redefine hardware and software partitioning to uniquely enable the use of reprogrammable logic devices in the development of electronics and reconfigurable systems.

Celoxica, the Celoxica logo and Handel-C are the trademarks of Celoxica Limited.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: