Cadence Jasper Formal Verification Platform - Red Hat Linux - Linux CLSE 2024

About This Application

The Cadence Jasper Formal Verification Platform consists of formal verification apps at the C/C++ and RTL level. They use smart proof technology and machine learning to find and fix bugs and improve verification productivity early in the design cycle. The main application is JasperGold

Version: 2021.06.001

Manufacturer: Cadence

Linux Launch Information

Linux launch process text: jaspergold

Linux module name: jasper/2021.06.001

License Details

Access to many CAEN software applications is restricted due to licensing or other factors. The information below describes how this application, Cadence Jasper Formal Verification Platform - Red Hat Linux - Linux CLSE 2024, may be used to conform with the licensing terms to which the University of Michigan has agreed. Per the University Standard Practice Guide (SPG) 601.03-3, it is the responsibility of all software users to perform due diligence in conforming with software licenses. Questions about any of the software licensing restrictions listed below can be directed to the CAEN Help Desk.

License Restrictions

This software has special restrictions:

  • EECS only license
  • Remote Access Restricted by Duo Two-Factor
  • On Campus Only

PERMITTED:

  • Executing (running) this software remotely
  • Use for U-M coursework for courses in which the student is enrolled and will receive a grade
  • PhD thesis work
  • Use by students to perform non-commercial research to complete coursework
  • Use by student teams for co-curricular activities, programs, and learning experiences

NOT PERMITTED:

  • Use by faculty to perform non-commercial research
  • Use by regular employees to perform non-commercial research
  • Use by students for commercial research
  • Use by faculty for commercial research
  • Use by regular employees for commercial research
  • Instructional use, using proprietary data that will not be published
  • Use for University business not related to instruction
  • Use by visiting scholars
  • Use for instructional purposes by non-UM users, such as a visiting instructor teaching a one-time course in a training room