Cadence Design Systems
Cadence VIP Catalog Lab #2
Follow these steps to run a demo: 1) Select the Resources tab on this page 2) Click the filed named "How to start a demo" and follow instructions Learn more about Cadence VIP (cut & paste to browser): http://www.bit.ly/GUsAJK
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...
Xuropa Linux Cloud Demonstration
Click on the Launch Software button to connect to the cloud and try out software in a Linux environment.
IDesignSpec - Executable Specification
Executable Specification Tool
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...
nextnanomat, nextnano3 and nextnano+
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...
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...
Soc Solutions Cloud
Click on "Launch Software" and connect to the cloud to use Instant Chip to quickly and easily create AMBA Microprocessor based IP Platforms.
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...