{"id":6584,"date":"2012-07-27T11:15:57","date_gmt":"2012-07-27T18:15:57","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=6584"},"modified":"2026-03-27T08:34:35","modified_gmt":"2026-03-27T12:34:35","slug":"synthesizing-hardware-assertions-and-post-silicon-debug","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2012\/07\/27\/synthesizing-hardware-assertions-and-post-silicon-debug\/","title":{"rendered":"Synthesizing Hardware Assertions and Post-Silicon Debug"},"content":{"rendered":"<p>At the 2012 Design Automation Conference, I had the pleasure of moderating a panel at a workshop titled \u201cPost-Silicon Debug: Technologies, Methodologies, and Best-Practices.\u201d This workshop brought together a collection of experts from industry, academia, and EDA to discuss the emerging challenges and solutions associated with post-silicon validation. The speakers presented different instrumentation strategies, as well as methods of using data collected by the debug logic to facilitate fast and efficient debug.<\/p>\n<p>Performing verification on real silicon introduces a number of new and unique challenges. On the one hand, real silicon offers great execution speed, which enables a long test run that reaches deep into the design\u2019s state-space. On the other hand, real silicon lacks both good controllability and observability, which serve an important role in pre-silicon verification. Assertions, which have always been one of my passions, have been shown to address both the controllability and observability challenges associated pre-silicon verification (for example, RTL simulation). And now, there is emerging interest in addressing these same challenges in post-silicon validation.<\/p>\n<p>I\u2019d like to invite you to check out my Tech Design Forum article titled <em><a title=\"Synthesizing assertions into hardware for faster silicon debug\" href=\"http:\/\/www.techdesignforums.com\/eda\/technique\/synthesizing-assertions-into-hardware-for-faster-silicon-debug\/\" target=\"_blank\" rel=\"noopener\">Synthesizing assertion into hardware for faster debug<\/a><\/em>.\u00a0\u00a0 Obviously, synthesizing hardware assertions is only one of many new solutions that are currently\u00a0being explored to contain the growing cost and effort associated with post-silicon debug. One attractive benefit of assertion-based techniques is that they provide a nice natural link between pre-silicon verification and post-silicon validation, in terms of reuse.<\/p>\n<p>I&#8217;d like to hear your opinions concerning synthesizing hardware assertions, as well as post-silicon debugging challenges in general.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>At the 2012 Design Automation Conference, I had the pleasure of moderating a panel at a workshop titled \u201cPost-Silicon Debug:&#8230;<\/p>\n","protected":false},"author":71592,"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":[350,811,819],"industry":[],"product":[],"coauthors":[],"class_list":["post-6584","post","type-post","status-publish","format-standard","hentry","category-news","tag-assertion-based-verification","tag-validation","tag-verification"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/6584","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\/71592"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=6584"}],"version-history":[{"count":1,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/6584\/revisions"}],"predecessor-version":[{"id":19747,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/6584\/revisions\/19747"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=6584"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=6584"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=6584"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=6584"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=6584"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=6584"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}