Jasper Design Automation Verifies Increasingly Complex SoCs with Growing Portfolio of Innovative Formal Technology Patents

MOUNTAIN VIEW, Calif.—(BUSINESS WIRE)—May 6, 2008— Jasper Design Automation, provider of advanced formal verification solutions, today announced a growing portfolio of innovative formal technology patents to help its worldwide customer base manage dramatically increasing SoC design complexity. The company is investing heavily in formal technology research and development (R&D). As a result of its aggressive and innovative R&D efforts, Jasper was granted its seventh patent by the U.S. Patent and Trademark Office.

Jaspers strong portfolio of patents include:

  • Patent 7237208 - Managing Formal Verification Complexity Of Designs With Datapaths. This patent is instrumental in fast, high level proofs with data transport end to end properties. It creates a unique benefit for JasperGold, unparalleled proof convergence, and is also used in JasperGold Proof Accelerators. This approach has since been used successfully and further tuned in cooperation with multiple customers.
  • Patent 7020856- Method For Verifying Properties Of A Circuit Model. This patent covers advanced design space tunneling algorithm aspects. Using a proprietary, systematic process for formal, this patent enables Jaspers formal technology to reach proof convergence for complex designs, and allows white box discovery of design elements, such as datapath. This provides the foundation for Jaspers convergence on demanding pro
  • Patent 7065726 - System And Method For Guiding And Optimizing Formal Verification For A Circuit Design. This second design state tunneling patent covers additional technologies and applications, focusing on user interface aspects. The advanced debugging GUI aspect contributes to Jaspers industry leadership in deploying design space tunneling with debugging in the field.
  • Patent 7137078 - Trace Based Method For Design Navigation. This patent allows white box debugging, filtering large amounts of design information to pinpoint the root cause of design errors, and tracing the root cause to the specific line of RTL. Since 2003, Jaspers intuitive user interface and trace generation for debug has been tuned for formal verification.
  • Patent 7159198 - System And Method For Identifying Design Efficiency And Effectiveness Parameters For Verifying Properties Of A Circuit Model. This patent covers a seminal form of formal prediction as well a form of on-the-fly formal prediction during the design tunneling process. The concept is the basis of the Jasper Formal Predictor.
  • Patent 6611947 - Method For Determining The Functional Equivalence Between Two Circuit Models In A Distributed Computing Environment; Plus Patent 6993730 - Method For Rapidly Determining The Functional Equivalence Between Two Circuit Models. These two patents cover verification as manifested in equivalence checking.

The patents that have been issued to date have enabled Jaspers customers to tackle highly complex designs without the usual capacity or performance constraints once associated with formal verification; to reach proof convergence for complex designs with large sequential depth due to counters and datapath elements; and to conduct early formal prediction with unique design space tunneling technology.

At Jasper, we have been working aggressively to address the next generation of SoC design challenges - from the architecture level down to first silicon - by innovating and applying advanced formal technologies to solve key problems at every stage of the design flow, said Rajeev Ranjan, Jaspers chief technology officer. Our commitment to the advancement of formal technology has made it possible for us to amass a growing portfolio of issued and pending patents. Customers applying our Formal Technology Unleashed tell us that they can now ensure higher design quality and greater design confidence.

To learn more about Jasper and its Formal Technology Unleashed - an advanced verification methodology supported by patented, best-in-class formal verification solutions to comprehensively verify complex designs at any stage in the design flow, from architecture to first silicon - please visit Jaspers booth #2346 at the 45th annual Design Automation Conference (DAC) in Anaheim, California, June 8th to the 12th, 2008. Please visit www.jasper-da.com, call +1.650.966.0200 or email Email Contact for further details.

About Jasper Design Automation

Jasper Design Automations production proven formal verification solutions are used by logic designers, verification engineers and silicon bring-up teams to design, explore and debug RTL, to ensure correctness of block-level functionality and for rapid post-silicon validation and debug. JasperGold® Verification System delivers complete deep formal systematic verification, ensuring correctness of critical design features without any testbench development. JasperGold Express, a light formal solution, complements simulation by accelerating bug-hunting and coverage attainment. For expert help with large scale formal verification deployment, RTL exploration or post-silicon debug, please visit http://www.jasper-da.com .

1 | 2  Next Page »

Review Article Be the first to review this article

ClioSoft at DAC

Featured Video
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
DAC 2018 at Moscone Center West San Francisco CA - Jun 24 - 28, 2018
Symposium on Counterfeit Parts and Materials 2018 at College Park Marriott Hotel & Conference Center MD - Jun 26 - 28, 2018
Concar Expo 2018 at Convention Hall II Sonnenallee 225 Berlin Germany - Jun 27 - 28, 2018
Nanotech 2019 at Tokyo Big Sight East Halls 4-6 & Conference Tower Tokyo Japan - Jun 30 - 1, 2018
ClioSoft at DAC

Internet Business Systems © 2018 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 PolicyAdvertise