{"id":11582,"date":"2015-06-08T09:47:22","date_gmt":"2015-06-08T16:47:22","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=11582"},"modified":"2026-03-27T08:36:16","modified_gmt":"2026-03-27T12:36:16","slug":"new-formal-cdc-courses-on-verification-academy","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2015\/06\/08\/new-formal-cdc-courses-on-verification-academy\/","title":{"rendered":"NEW Formal & CDC Courses on Verification Academy"},"content":{"rendered":"

Do you have a really tough verification problem \u2013 one that takes seemingly forever for a testbench simulation to solve \u2013 and are left wondering whether an automated formal application would be better suited for the task?<\/p>\n

Are you curious about formal or clock-domain crossing verification, but are overwhelmed by all the results you get from a Google search?<\/p>\n

Are you worried that adding in low power circuitry with a UPF file will completely mess up your CDC analysis?
\n\"\"<\/a><\/p>\n

Good news: inspired by the success of the UVM courses on the Verification Academy website, the Questa Formal and CDC team has created all new courses on a whole variety of formal and CDC-related subjects\u00a0that address these questions and more. \u00a0New topics that are covered\u00a0include:<\/p>\n

* What\u2019s a formal app, and what are the benefits of the approach?<\/p>\n

* Reviews of automated formal apps for bug hunting, exhaustive connectivity checking and register verification, X-state analysis, and more<\/p>\n

* New topics in CDC verification, such as the need for reconvergence analysis, and power-aware CDC verification<\/p>\n

* How to get started with direct property checking including: test planning for formal, SVA coding tricks that get the most out of the formal analysis engines AND ensure reuse with simulation and emulation, how to setup the analysis for rapidly reaching a solution, and how to measure formal coverage and estimate whether you have enough assertions<\/p>\n

The best part: all of this content is available NOW at www.verificationacademy.com<\/a>, and it\u2019s all FREE!<\/strong><\/p>\n

Enjoy!<\/p>\n

Joe Hupcey III,
\non behalf of the Questa Formal and CDC team<\/p>\n

P.S. If you’re coming to the DAC in San Francisco, be sure to come by the Verification Academy booth (#2408)<\/strong> for live presentations, end-user case studies, and demos on the full range of verification topics \u2013 UVM, low power, portable stimulus, formal, CDC, hardware-software co-verification, and more. \u00a0Follow this link\u00a0for all the details & schedule of events (including \u201cFormal & CDC Day\u201d on June 10!<\/strong>):\u00a0http:\/\/www.mentor.com\/events\/design-automation-conference\/schedule<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Do you have a really tough verification problem \u2013 one that takes seemingly forever for a testbench simulation to solve…<\/p>\n","protected":false},"author":71594,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[1],"tags":[375,385,409,486,488,492,493,745,785,820],"industry":[],"product":[],"coauthors":[],"class_list":["post-11582","post","type-post","status-publish","format-standard","hentry","category-news","tag-cdc","tag-clock-domain-crossing","tag-dac","tag-formal","tag-formal-apps","tag-formal-property-checking","tag-formal-verification","tag-sva","tag-upf","tag-verification-academy"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11582","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/users\/71594"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=11582"}],"version-history":[{"count":1,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11582\/revisions"}],"predecessor-version":[{"id":19791,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11582\/revisions\/19791"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=11582"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=11582"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=11582"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=11582"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=11582"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=11582"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}