Agnisys Inc.
IDesignSpec - Executable Specification
Executable Specification Tool
Xuropa Inc.
Xuropa Linux Cloud Demonstration
Click on the Launch Software button to connect to the cloud and try out software in a Linux environment.
Sodius
Sodius Solutions
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...
SoC Solutions
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.
CAST
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...
Ellexus
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...
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,...
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...
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...
Cadence Design Systems
Cadence VIP Catalog Lab #1
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 read about the demo Learn more about Cadence VIP (cut & paste to browser): http://www.bit.ly/GUsAJK

Processing...
Software Categories
  • All
  • EDA
  • Verification IP
  • Design IP
  • Memory Model
  • Software
  • Semiconductor
  • Services
  • Automotive
Companies
  • All
  • Cadence
  • Cast
  • Duolog
  • Ellexus
  • Xuropa
  • BigLever Software
  • Method Park
  • Sodius