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...
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.
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.
BigLever Software, Inc.
BigLever Software Gears
With BigLever's Gears Product Line Engineering Tool and Lifecycle Framework™, your business and engineering organizations can shift perspective to focus on a single production line capable of automatically producing all the products in your product line portfolio from a consolidated set of soft assets – rather than focusing on the...
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...
IDesignSpec - Executable Specification
Executable Specification Tool
Xuropa Windows Cloud Demonstration
Click on the Launch Software button and you'll be connected to the remote desktop. It may take a few minutes to connect as your cloud instance is being prepared.
nextnanomat, nextnano3 and nextnano+
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,...