BA22 32-bit Embedded Processor
Implements a 32-bit RISC processor for deeply embedded applications that use off-chip instruction and data memories and that may need to run a real-time operating system (RTOS). Part of the royalty-free BA22 family, this processor core is extremely competitive in terms of high performance and low power consumption, and has...
Sodius delivers interoperability solutions that unlock your assets and accelerate your engineering processes, empowering innovation. Data in proprietary formats holds enormous value but remains inaccessible outside the native environment. Our products maximize the value of your engineering data. Our software includes the powerful MDWorkbench platform for implementing engineering data transformations. This...
Ellexus Breeze IDE
BREEZE is the world's first tool chain and installation debugger for Linux. BREEZE makes it easy to solve software installation problems and facilitates communication with your customers and within your organisation. BREEZE allows global software companies to accelerate their sales cycle and reduce customer services overheads whilst improving the experience...
Method Park America Inc.,
Stages allows you to model your process, assures the compliance of your processes to standards and communicates your process descriptions to your teams. Stages can be integrated with your configuration management system to manage project documents in compliance with the defined process.
Try the Socrates Tools at www.xuropa.com/zone.php?zone_id=117. OCP Tracker is a graphical performance analysis engine for OCP-based SoC infrastructures. 3D and 2D visualization of performance related data is one of the keys to understanding how the system can cope with different types of traffic, enabling the identification and understanding of weaknesses in the...
IDesignSpec - Executable Specification
Executable Specification Tool
Cadence Design Systems
Specman "IntelliGen" Stimulus Generation Lab
This workshop is an introduction to the generation concepts in general and, specifically, the benefits of working with "IntelliGen", Specman's new Aspect Oriented Generation technology. IntelliGen provides increases solvability, ease-of-use, performance, and scalability to handle DUTs with over 1 billion logic gates. This workshop uses hands-on labs with a realistic,...
Xuropa Linux Cloud Demonstration
Click on the Launch Software button to connect to the cloud and try out software in a Linux environment.
nextnanomat, nextnano3 and nextnano+
Cadence Design Systems
Formal Verification of the UART Lab
This lab takes you through the Universal Asynchronous Receiver/Transmitter (UART) formal verification flow using Cadence's Incisive Formal Verifier (IFV). This is Lab 3 of the Assertion Based Verification Workshop from the IP Verification Kit Lab includes: - Automatic Formal Analysis - User Generated Properties Click "Launch Software" at left to open a VNC session...