ProofGrid™ intelligent resource management distributes formal technology for productivity, accelerating multiple proofs, tasks, users, applications, computers and productivity, even across multiple business units. It manages parallel processing for local machines, clusters and farms. ProofGrid offers dynamic scheduling and engine allocation, with seamless tracking and reporting.
JasperCore, as well as JasperGold, offer parallel engine multi-threaded processing, path analysis capability, and support for Jasper Proof Accelerators™, Jasper Formal Scoreboard™ and Jasper Lossless Abstractions™ along with Verilog, SystemVerilog, and VHDL design languages, and PSL and SVA assertion languages.
JasperCore requires either JasperGold or ActiveDesign as a prerequisite, for the user-interactive aspect of the formal solution. JasperCore includes only non-interactive Design and State Space Tunneling commands (if previously scripted), and non-interactive Visualize commands (if previously scripted.) |
| |
