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...
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...
Xuropa Inc.
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.
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
Agnisys Inc.
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,...
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
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.
nextnano GmbH
nextnano cloud
nextnanomat, nextnano3 and nextnano+
Duolog
OCP Tracker
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...

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