Jasper GamePlan Verification Planner 1.2

Jasper Design Automation recently released GamePlan(TM) Verification Planner version 1.2. GamePlan is a powerful tool for generating and tracking verification plans. In version 1.2, GamePlan now includes the ability to import verification results. After an easy set-up that takes no more than a couple of hours, verification teams can begin reading verification results back into their test plan to efficiently track their verification progress. In addition, GamePlan also delivers improved search capabilities, active hyperlinks in analysis views for easy organization, and a new Undo/Redo feature for improved usability.

GamePlan Verification Planner promotes collaboration within multiple verification teams by providing a single, comprehensive structured framework for identifying what design features need to be tested, what verification technologies are required for testing, and for prioritizing and tracking the progress of each feature tested. GamePlan Verification Planner fills the gaps in today’s verification flow by adding a process for systematic verification that can fit into any environment, and that respects all verification methods, including formal verification, simulation and others.

GamePlan 1.2 enables users to track verification progress by providing an open interface for reading verification results back into the testplan. The interface allows users to extract verification results by assertion names from standard verification tool reports and feed that data back into GamePlan to track verification progress across the entire plan.

GamePlan’s Undo/Redo feature improves usability by allowing easy recovery from data entry errors or accidental deletions from the verification plan. The free tool also has improved search capabilities that highlight search results directly in the hierarchical plan tree. This is in addition to the highlighted searches in the data fields, thus expanding the search capabilities beyond just the active window. GamePlan now also provides active hyperlinks in the plan analysis views. The active links reference external verification plan documents, and are now accessible while analyzing the interrelationships between the design and testing environments.

More info:
Jasper Design Automation GamePlan Verification Planner