{"id":12021,"date":"2019-05-07T10:29:56","date_gmt":"2019-05-07T09:29:56","guid":{"rendered":"https:\/\/www.engineernewsnetwork.com\/blog\/?p=12021"},"modified":"2019-05-07T10:30:01","modified_gmt":"2019-05-07T09:30:01","slug":"cadence-delivers-smart-jaspergold-formal-verification-platform","status":"publish","type":"post","link":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/","title":{"rendered":"Cadence delivers smart JasperGold Formal Verification Platform"},"content":{"rendered":"\n<p>Cadence Design Systems announces the third-generation <strong><a href=\"http:\/\/www.cadence.com\/go\/smartjasper.\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Cadence JasperGold Formal Verification Platform (opens in a new tab)\">Cadence JasperGold Formal Verification Platform<\/a><\/strong>, featuring machine learning technology and core formal technology enhancements.\u00a0<\/p>\n\n\n\n<p>The updates to the platform address the capacity and complexity challenges of today\u2019s advanced SoC designs and aim to improve verification throughput.<\/p>\n\n\n\n<p>The new JasperGold platform represents the latest stage of ongoing proof-solver algorithm and orchestration improvements. This latest platform incorporates Smart Proof Technology to improve verification throughput for all JasperGold apps.&nbsp;<\/p>\n\n\n\n<p>Machine learning is used to select and parameterise solvers to enable faster first-time proofs. Additionally, machine learning is used to optimise successive runs for regression testing, either on premises or in the cloud.&nbsp;<\/p>\n\n\n\n<p>With Smart Proof Technology, proofs speed up by up to 4X, and up to 6X on regression runs.<\/p>\n\n\n\n<p>\u201cWe measured averages of 2X faster proof performance out of the box and 5X faster regression runs across our design testcases with the new smart JasperGold platform,\u201d stated Mirella Negro Marcigaglia, Digital Design Verification Manager at STMicroelectronics. \u201cWe are also seeing non-converged properties reduced by over 50%. Combined, these improvements significantly boost our verification productivity.\u201d<\/p>\n\n\n\n<p>Given today\u2019s larger and more complex SoC designs, the design compilation process sets the maximum size of design, and the compute resources necessary, to start formal analysis.&nbsp;<\/p>\n\n\n\n<p>The updated JasperGold platform delivers more than 2X design compilation capacity with an average of 50% reduction in memory usage during compilation, compared with one year ago.&nbsp;<\/p>\n\n\n\n<p>Additionally, engineers can effectively scale design capacity through advanced parallel compilation technologies that optimally use available compute resources, and by running proofs on the Cloud.<\/p>\n\n\n\n<p>The platform\u2019s new formal coverage technologies let engineers perform IP signoff purely within the JasperGold platform. These new formal signoff technologies include improved proof-core accuracy, new techniques to derive meaningful coverage from deep bug hunting and new formal coverage analysis views.&nbsp;<\/p>\n\n\n\n<p>Together those features deliver sign-off-quality formal coverage metrics and enable multi-engine chip-level verification closure.<\/p>\n\n\n\n<p>\u201cThe first-generation JasperGold platform pioneered commercial formal verification and apps in the market, and the second generation integrated Cadence technologies to establish formal verification with mainstream users,\u201d stated Ziyad Hanna, corporate vice president, Fabric and Formal Solutions, System &amp; Verification Group at Cadence. \u201cOur third-generation smart JasperGold platform significantly advances core formal technology, applying machine learning to achieve tangible performance and scalability benefits for our customers.\u201d<\/p>\n\n\n\n<p>The JasperGold Formal Verification Platform, part of the Cadence Verification Suite, offers comprehensive coverage in the vManager Metric-Driven Signoff Platform, which combines JasperGold formal results with Xcelium simulation and Palladium emulation metrics to speed overall verification closure. It supports the company\u2019s System Design Enablement strategy, which enables systems and semiconductor companies to create complete, differentiated end products more efficiently.&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Cadence Design Systems announces the third-generation Cadence JasperGold Formal Verification Platform, featuring machine learning technology and core formal technology enhancements.\u00a0 The updates to the platform address the capacity and complexity challenges of today\u2019s advanced SoC designs and aim to improve verification throughput. The new JasperGold platform represents the latest stage of ongoing proof-solver algorithm and &hellip;<\/p>\n","protected":false},"author":1,"featured_media":12022,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[104],"tags":[1117,6155],"class_list":["post-12021","post","type-post","status-publish","format-standard","has-post-thumbnail","","category-electronics","tag-cadence-design-systems","tag-jaspergold-formal-verification-platform"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Cadence delivers smart JasperGold Formal Verification Platform - Engineer News Network<\/title>\n<meta name=\"description\" content=\"New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Cadence delivers smart JasperGold Formal Verification Platform - Engineer News Network\" \/>\n<meta property=\"og:description\" content=\"New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/\" \/>\n<meta property=\"og:site_name\" content=\"Engineer News Network\" \/>\n<meta property=\"article:published_time\" content=\"2019-05-07T09:29:56+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2019-05-07T09:30:01+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2019\/05\/JasperGold_diagram.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"3075\" \/>\n\t<meta property=\"og:image:height\" content=\"975\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#\\\/schema\\\/person\\\/4477342aea8e299c6a21761e513ea8e1\"},\"headline\":\"Cadence delivers smart JasperGold Formal Verification Platform\",\"datePublished\":\"2019-05-07T09:29:56+00:00\",\"dateModified\":\"2019-05-07T09:30:01+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/\"},\"wordCount\":452,\"image\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2019\\\/05\\\/JasperGold_diagram.jpg\",\"keywords\":[\"Cadence Design Systems\",\"JasperGold Formal Verification Platform\"],\"articleSection\":[\"Electronics\"],\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/\",\"name\":\"Cadence delivers smart JasperGold Formal Verification Platform - Engineer News Network\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2019\\\/05\\\/JasperGold_diagram.jpg\",\"datePublished\":\"2019-05-07T09:29:56+00:00\",\"dateModified\":\"2019-05-07T09:30:01+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#\\\/schema\\\/person\\\/4477342aea8e299c6a21761e513ea8e1\"},\"description\":\"New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2019\\\/05\\\/JasperGold_diagram.jpg\",\"contentUrl\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2019\\\/05\\\/JasperGold_diagram.jpg\",\"width\":3075,\"height\":975,\"caption\":\"Third-generation formal verification technology delivers an average of 2X faster proofs out of the box and 5X faster regression runs by leveraging new machine learning-enabled Smart Proof Technology\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/cadence-delivers-smart-jaspergold-formal-verification-platform\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Cadence delivers smart JasperGold Formal Verification Platform\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#website\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/\",\"name\":\"Engineer News Network\",\"description\":\"The ultimate online news and information resource for today's engineer\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#\\\/schema\\\/person\\\/4477342aea8e299c6a21761e513ea8e1\",\"name\":\"admin\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/author\\\/admin\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Cadence delivers smart JasperGold Formal Verification Platform - Engineer News Network","description":"New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/","og_locale":"en_GB","og_type":"article","og_title":"Cadence delivers smart JasperGold Formal Verification Platform - Engineer News Network","og_description":"New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction","og_url":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/","og_site_name":"Engineer News Network","article_published_time":"2019-05-07T09:29:56+00:00","article_modified_time":"2019-05-07T09:30:01+00:00","og_image":[{"width":3075,"height":975,"url":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2019\/05\/JasperGold_diagram.jpg","type":"image\/jpeg"}],"author":"admin","twitter_card":"summary_large_image","twitter_misc":{"Written by":"admin","Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#article","isPartOf":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/"},"author":{"name":"admin","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#\/schema\/person\/4477342aea8e299c6a21761e513ea8e1"},"headline":"Cadence delivers smart JasperGold Formal Verification Platform","datePublished":"2019-05-07T09:29:56+00:00","dateModified":"2019-05-07T09:30:01+00:00","mainEntityOfPage":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/"},"wordCount":452,"image":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#primaryimage"},"thumbnailUrl":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2019\/05\/JasperGold_diagram.jpg","keywords":["Cadence Design Systems","JasperGold Formal Verification Platform"],"articleSection":["Electronics"],"inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/","url":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/","name":"Cadence delivers smart JasperGold Formal Verification Platform - Engineer News Network","isPartOf":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#primaryimage"},"image":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#primaryimage"},"thumbnailUrl":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2019\/05\/JasperGold_diagram.jpg","datePublished":"2019-05-07T09:29:56+00:00","dateModified":"2019-05-07T09:30:01+00:00","author":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#\/schema\/person\/4477342aea8e299c6a21761e513ea8e1"},"description":"New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction","breadcrumb":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#primaryimage","url":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2019\/05\/JasperGold_diagram.jpg","contentUrl":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2019\/05\/JasperGold_diagram.jpg","width":3075,"height":975,"caption":"Third-generation formal verification technology delivers an average of 2X faster proofs out of the box and 5X faster regression runs by leveraging new machine learning-enabled Smart Proof Technology"},{"@type":"BreadcrumbList","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/cadence-delivers-smart-jaspergold-formal-verification-platform\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.engineernewsnetwork.com\/blog\/"},{"@type":"ListItem","position":2,"name":"Cadence delivers smart JasperGold Formal Verification Platform"}]},{"@type":"WebSite","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#website","url":"https:\/\/www.engineernewsnetwork.com\/blog\/","name":"Engineer News Network","description":"The ultimate online news and information resource for today's engineer","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.engineernewsnetwork.com\/blog\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Person","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#\/schema\/person\/4477342aea8e299c6a21761e513ea8e1","name":"admin","url":"https:\/\/www.engineernewsnetwork.com\/blog\/author\/admin\/"}]}},"_links":{"self":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts\/12021","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/comments?post=12021"}],"version-history":[{"count":1,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts\/12021\/revisions"}],"predecessor-version":[{"id":12023,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts\/12021\/revisions\/12023"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/media\/12022"}],"wp:attachment":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/media?parent=12021"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/categories?post=12021"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/tags?post=12021"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}