Jasper Design Automation’s Kathryn Kranen To Deliver Keynote Address At IP08 In Grenoble On Breakthroughs In Design Reuse And IP Delivery

MOUNTAIN VIEW, Calif.—(BUSINESS WIRE)—December 2, 2008— Jasper Design Automation:


Jasper Design Automation, the leader in successful deployment of production proven formal verification solutions, today announced that president and CEO, Kathryn Kranen, will deliver the Thursday keynote address at the IP-Based Electronic Systems Conference and Exposition in Grenoble, France, on the existing challenges and needed breakthroughs for solving scalability problems around design reuse and IP delivery.


The Thursday keynote, entitled, “A Breakthrough in Design Reuse and Modification,” will examine how the increasing complexities of modern SoCs and short time-to-market requirements have made the efficient reuse of in-house and 3rd party IP an essential cost-saving measure. Given that some degree of modification is typically required before reuse, the root problem of efficient comprehension, modification, and re-verification in design reuse and third party IP integration will be discussed, and an emerging new technology - Behavioral Indexing - will be introduced for achieving greater IP integration and design reuse efficiencies, as well as reductions in cost and risk for new design projects.

“The internet is indexed nightly by Google and others so that users of the internet can query and source any information they want,” stated Kathryn Kranen. “A new technology, called behavioral indexing, will afford end-users of digital design IP, whether third party purchased or developed in-house, the ability to query and search their designs to understand subtle nuances and design implications at an optimal level of abstraction. Applications based on behavioral indexing promise tremendous efficiencies in IP integration, design reuse, and even design itself."


Thursday, December 4th, 2008, 9:00am – 9:30am


Room 1, World Trade Center, 5 Place Robert Schuman, Grenoble, France

For details, please visit: http://www.design-reuse.com/ip08/program/keynote_jasper.html.


It is well-understood that IP typically requires some degree of modification for reuse, with needed modifications ranging widely: from simple mode/configuration changes, to design retargeting for a new environment, or to minor functional changes to upgrade to a new protocol or interface, and even to a major re-architecting of the design. The effective and error-free reuse of a legacy IP block/design (with or without modification) within a new ASIC or SoC requires efficient comprehension of the IP by its consumer. Unfortunately, the re-verification effort needed after the IP is modified often results in a bottleneck to the overall reuse process. Anyone interested in resolving these industry-wide concerns, and reducing complex ASIC/SOC cost and risk, will benefit from attending this keynote through greater understanding of the existing and emerging challenges, and an examination of what Behavioral Indexing can do to address and resolve them.

About Jasper Design Automation

Jasper Design Automation’s 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 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.

Jasper Design Automation, the Jasper Design Automation logo, JasperGold, Formal Testplanner, GamePlan, Proof Accelerators, Lossless Abstractions, Formal Scoreboard, and Design Tunneling 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.


For Jasper Design Automation
Francine Bacchini, +1-408-267-6602
Email Contact

Review Article Be the first to review this article

New Customer Special

Featured Video
Latest Blog Posts
Colin WallsEmbedded Software
by Colin Walls
Time for a new programming paradigm?
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automatic Handling of Register Clock Domain Crossings
Modesto (Mo) CasasGlobal Business in EDA
by Modesto (Mo) Casas
Globalizing Sales in a COVID-19 Environment
Graduate Hardware Engineer for arm at Austin, Texas
Senior Application Engineer Formal Verification for EDA Careers at San Jose and Austin, California
Product Line Manager for EDA Careers at Multiple, North Carolina
Upcoming Events
DVCon Europe 2020 Virtual at Germany - Oct 27 - 28, 2020
SystemC Evolution Day at Germany - Oct 29, 2020
2020 International Conference On Computer Aided Design at San Diego Mission Bay Resort San Diego CA - Nov 2 - 5, 2020

© 2020 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+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