Design Automation


Co-verification tool using VxSim on Windows NT

25 October 2000 Design Automation

Innoveda has announced Windows NT-based software that couples VxSim, a host-compiled RTOS emulation tool from Wind River Systems, with Innoveda's V-CPU co-verification tool. The combination of V-CPU 'Implicit Access' technology for host-compiled programs with VxSim makes this solution unique and applicable for high-level firmware verification. It enables users to run all levels of system software including application code and software IP with a co-verification tool. This software now runs on Windows NT 4.0, HP-UX and Sun Solaris platforms.

V-CPU executing with VxSim enables embedded system designers to begin full system testing earlier in the design process and speeds product development. A licence for the V-CPU RTOS support package with VxSim is available immediately. A V-CPU licence also is required. A VxSim licence is available from Wind River.

"Innoveda and Wind River collaborated on the port in response to many software engineers who use Windows NT on their desktops," said Steven Anderson, Product Marketing Manager at Innoveda. "Embedded system software developers using V-CPU with VxSim on Windows NT can shave weeks or months off tight product development schedules. This new port brings the fastest software execution environment for RTOS code to the popular NT platform and provides links to hardware models for early system integration testing without requiring users to modify their code."

Productivity gains

Innoveda says that for software engineers, V-CPU coupled with VxSim provides early access to a virtual prototype of their target hardware, so they can run their embedded system software. It features a complete Wind River Tornado development environment on the host workstation and provides automated launching of the simulated target hardware. The tool enables high-speed software execution environment that can be linked to many popular processor models for system integration testing. Memory and register accesses to the simulated hardware require no changes to the source code. This integration allows software engineers to run all levels of their system software including software IP, hardware driver code and application code that rely on the underlying RTOS.

The V-CPU combined with VxSim for hardware engineers provides a complete hardware debug environment using existing Verilog and VHDL logic simulation tools. It enables true system simulation using stimulus from embedded system software instead of contrived testbenches. It also features record and playback of bus cycles for debug and regression testing and can be configured for any processor using bus functional models from such vendors as Motorola, ARM and QED. The integration of Bus Functional Models (BFMs) can be performed by the user or through off-the-shelf models provided by Innoveda. Innoveda also provides consulting services to do the BFM integrations.

Viewlogic is represented in South Africa by ASIC Design Services.



Credit(s)



Share this article:
Share via emailShare via LinkedInPrint this page

Further reading:

Accelerate development of AI-enabled embedded systems
Design Automation
ADI’s CodeFusion Studio (CFS) is a modern embedded software development platform aimed at accelerating the creation of AI-enabled embedded systems.

Read more...
Introducing STM32CubeMX2
Altron Arrow Design Automation
STMicroelectronics has launched STM32CubeMX2, a new evolution of its popular configuration and code generation tool for STM32 microcontrollers.

Read more...
Miniature xtal for critical timing
ASIC Design Services Telecoms, Datacoms, Wireless, IoT
Microchip’s EX-423 Evacuated Miniature Crystal Oscillator is a compact, low-power timing solution designed for applications that demand high stability, accuracy, and long-term reliability.

Read more...
AI assistant for STM32 developers
Design Automation
The STMicroelectronics STM32 Sidekick is an AI-driven assistant fully integrated into the STM32 ecosystem designed to streamline embedded development using STM32 microcontrollers.

Read more...
Connected without limits: An engineering perspective on Altron Arrow’s wireless ecosystem
Altron Arrow Editor's Choice Design Automation
Wireless connectivity is no longer a supporting technology, but rather, a core design consideration that underpins modern electronic systems across industries.

Read more...
Next-gen robotic systems initiative
EBV Electrolink Design Automation
EBV Elektronik recently introduced MOVE – Driving Robotics Forward, a new initiative designed by EBV Elektronik‘s Embedded Solutions team to support the development of next-generation robotic systems.

Read more...
Reliable isolation for modern networks
ASIC Design Services Computer/Embedded Technology
The Pro-Tek5 PTI Series delivers reinforced 5 kV Ethernet isolation for applications that demand robust protection, reliable signal integrity, and full IEEE802.3 performance.

Read more...
Reference design for NB-IoT plus GNSS
Altron Arrow Design Automation
ST Microelectronics’ STDES-ST87M01IGN is a reference design for the ST87M01 NB-IoT + GNSS module, implemented on a 2-layer FR4 PCB (90 x 60 x 1,6 mm).

Read more...
ARINC 429 line driver evaluation board
ASIC Design Services DSP, Micros & Memory
Holt Integrated Circuits have announced the release of the ADK-85104 Evaluation Board, a compact, ready-to-use platform designed to help engineers rapidly evaluate and characterise Holt’s HI-85104.

Read more...
ST welcomes STM32Cube AI Studio
Design Automation
STMicroelectronics has introduced STM32Cube AI Studio, a new desktop software environment designed to simplify the deployment of artificial intelligence on STM32 microcontrollers.

Read more...









While every effort has been made to ensure the accuracy of the information contained herein, the publisher and its agents cannot be held responsible for any errors contained, or any loss incurred as a result. Articles published do not necessarily reflect the views of the publishers. The editor reserves the right to alter or cut copy. Articles submitted are deemed to have been cleared for publication. Advertisements and company contact details are published as provided by the advertiser. Technews Publishing (Pty) Ltd cannot be held responsible for the accuracy or veracity of supplied material.




© Technews Publishing (Pty) Ltd | All Rights Reserved