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

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
H-1B Visa: de Geus’ tragedy looms large
Peggy AycinenaIP Showcase
by Peggy Aycinena
IP for Cars: Lawsuits are like Sandstorms
More Editorial  
Jobs
Staff Software Engineer - (170059) for brocade at San Jose, CA
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Upcoming Events
EDI CON China 2017! at Shanghai Convention & Exhibition Center of International Sourcing (SHCEC) No.2739 West Guangfu Road Putuo District, Shanghai (200062) China - Apr 25 - 27, 2017
2017 SEMICON Southeast Asia at SPICE Arena Penang Malaysia - Apr 25 - 27, 2017
2017 IoT Developers Conference at Santa Clara Convention Center California - Apr 26 - 27, 2017
Embedded Systems Conference ESC Boston 2017 at Boston Convention & Exhibition Center Boston MA - May 3 - 4, 2017
DAC2017



Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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