SAN FRANCISCO Verification-focused EDA startup Jasper Design Automation is making available a free tool for tracking the progress of verification plans, the company said Wednesday (Aug. 30).
According to Jasper (Mountain View, Calif.), the GamePlan Verification Planner is a "first-of-its-kind tool" that promotes collaboration between verification team members through a single environment that identifies the design features that need to be tested and the verification technologies required for testing. GamePlan Verification Planner provides a solution for systematic verification, enabling vital prioritization and progress tracking for each feature tested, according to the company.
EDA market leader Cadence Design Systems Inc. markets Incisive verification management technology said to automate and guide the verification process. Prior to its acquisition by Cadence, Verisity Inc. developed a verification-planning tool called vManager to help users define and track test coverage.
In February, startup Severity One Inc. (Austin, Texas) began marketing Relay, a tool that produces reusable, coverage-driven verification plans from textual specifications or user input through a graphical user interface.
It is not immediately known to what extent Jasper's GamePlan offers capabilities similar to Cadence technologies or Severity's Relay.
"We are making GamePlan's technology available for free in order to facilitate the easy capture and tracking of systematic verification plans that make the most of formal, simulation and other verification methods," said Craig Cochran, Jasper's vice president of marketing, in a statement. "Companies that take a systematic approach to verification planning are the most successful at integrating formal with simulation, and at building a highly productive verification environment."
Jasper has created an online micro-site for GamePlan, offering free downloads of software and documentation, access to user forums and areas for sharing ideas and verification test plan examples.