Jasper Design Automation Advances Verification Planning With GamePlan(TM) Verification Planner v1.1

MOUNTAIN VIEW, Calif.—(BUSINESS WIRE)—February 21, 2007— Enhancing its free solution that addresses one of the key problems facing verification teams, Jasper Design Automation today announced availability of GamePlan(TM) Verification Planner v1.1, a valuable tool for generating and tracking verification plans. In version 1.1, GamePlan increases the customizability and flexibility of Verification Planning in order to maintain and track the current status of a dynamic verification plan. Initially offering some pre-defined templates to help jumpstart users, Gameplan is now fully customizable, enabling the greatest flexibility in planning and tracking verification progress. Incorporating feedback from early users who embraced the tool, GamePlan Verification Planner v1.1 enables Verification Plans to be fully searched, sorted and filtered based on user-specified criteria, enabling quick isolation of specific verification efforts. In addition, Verification Plans can be linked to external documents and graphic images, such as Word documents and web pages containing specification data. These capabilities deliver significant value by providing teams with instant access to current verification status while enabling ready access to vital specifications.

"GamePlan has been embraced enthusiastically by verification teams around the world because of its ability to integrate formal verification easily into the overall verification plan," stated Jay Littlefield, director of technical marketing at Jasper Design Automation. "GamePlan is also highly valued by engineering management since it makes communication of verification status as simple as the push of a button. And, release 1.1 makes it even easier to track a changing verification plan and to readily share current status among design and verification teams."

Availability

GamePlan Verification Planner 1.1 is free, and currently available for download from the Jasper Design Automation corporate website. Check www.jasper-da.com/gameplan for details.

About GamePlan(TM) Verification Planner

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. By providing GamePlan as a free tool, Jasper Design Automation is enabling systematic usage of formal verification alongside other technologies, and is taking a leading industry role in promoting a structured approach to verification.

About Jasper Design Automation

Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company with a mission of making full formal IC verification a competitive advantage for its customers. The company's flagship product, JasperGold Verification System, is the first verification product to deliver complete "deep formal" systematic verification, ensuring correctness where it matters most. JasperGold formally verifies that complex IC design blocks meet high-level requirements defined in their specifications, and also pre-verifies IP blocks for use under all usage modes, without any testbench development. JasperGold Express, Jasper's formal ABV solution, provides the industry's leading "light formal" solution, complementing simulation-based approaches by accelerating bug hunting as well as coverage attainment. The JasperGold family quickly isolates bugs with a fast, static debugging capability, and then proves the absence of bugs, trimming design schedules. For further details on how to ensure guaranteed correctness where it matter most, please visit http://www.jasper-da.com.

Jasper Design Automation, the Jasper Design Automation logo, JasperGold, Formal Testplanner, GamePlan and InFormal are trademarks or registered trademarks of Jasper Design Automation, Inc. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies.

Contact:

for Jasper Design Automation
Francine Bacchini, +1-408-839-8153
Email Contact


Rating:


Review Article Be the first to review this article
Synopsys: Custom Compiler

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Diversity: Really, who cares
More Editorial  
Jobs
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Senior Methodology Automation Engineer for EDA Careers at San Jose, CA
DDR 3-4-5 Developer with VIP for EDA Careers at San Jose, CA
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Proposal Support Coordinator for Keystone Aerial Surveys at Philadelphia, PA
Upcoming Events
11th International Conference on Verification and Evaluation of Computer and Communication Systems at 1455 DeMaisonneuve W. EV05.139 Montreal Quebec Canada - Aug 24 - 25, 2017
The Rise of Mechatronics at Dassault Systèmes San Diego 5005 Wateridge Vista Drive San Diego CA - Sep 12, 2017
The Rise of Mechatronics at Buca di Beppo - Pasadena 80 West Green Street Pasadena CA - Sep 13, 2017
S2C: FPGA Base prototyping- Download white paper



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy