{"id":6024,"date":"2022-11-16T09:00:00","date_gmt":"2022-11-16T14:00:00","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/podcasts\/?p=6024"},"modified":"2026-03-26T15:08:50","modified_gmt":"2026-03-26T19:08:50","slug":"2022-wilson-research-study-the-current-trends-in-verification-technology-pt-2-of-2","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/podcasts\/where-today-meets-tomorrow\/2022-wilson-research-study-the-current-trends-in-verification-technology-pt-2-of-2\/","title":{"rendered":"2022 Wilson Research Study \u2013\u00a0The Current Trends in ASIC Design Verification Technology pt. 2 of 2"},"content":{"rendered":"<div class=\"embed-megaphone\">\n<iframe loading=\"lazy\" frameborder=\"0\" height=\"200\" scrolling=\"no\" src=\"https:\/\/playlist.megaphone.fm\/?e=TLFIE3728354086\" width=\"100%\"><\/iframe>\n<\/div><!-- Megaphone -->\n\n\n<p>An increase in the complexity of designs has led to the adoption of more advanced technology in verification. This is helping companies increase their efficiency and keep the cost reasonable as they meet the needs for more customized products. With many new technologies becoming available, engineers need to focus on solutions that meet their needs effectively.<\/p>\n\n\n\n<p>I\u2019m your host, Joe Hupcey, a Verification Product Technologist, and today I\u2019m joined by Harry Foster, Chief Scientist Verification at Siemens EDA. He is also the Co-Founder and Executive Editor of the Verification Academy. We\u2019ll continue our discussion on the findings of the 2022 Wilson Research Group Functional Verification study.<\/p>\n\n\n\n<p>In this episode, you\u2019ll learn about current trends in the adoption of verification technology. You\u2019ll also learn about why there has been little change in the languages being used in verification. Additionally, you\u2019ll learn about the impact that verification technology is having on the industry.<\/p>\n\n\n\n<p><strong>What You\u2019ll Learn in this Episode:<\/strong><\/p>\n\n\n<ul>\n<li>The reason for accelerated growth in verification technology (00:41)<\/li>\n<li>The current state of formal property checking (02:33)<\/li>\n<li>The languages being used in ASIC projects (05:09)<\/li>\n<li>The impact that verification technologies are<\/li>\n<\/ul>\n\n\n<p><strong>Resources<\/strong><\/p>\n\n\n\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2022\/10\/16\/part-1-the-2020-wilson-research-group-functional-verification-study-2\/\" target=\"_blank\" rel=\"noreferrer noopener\">2022 Wilson Research Group Functional Verification Study<\/a><\/p>\n\n\n<div class=\"bio-block row\">\n    <div class=\"col-3 order-first bio-pic\">\n        <img decoding=\"async\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/32\/2022\/10\/Harry-Foster.jpg\" alt=\"Harry Foster\" \/>\n    <\/div>\n    <div class=\"col-9 bio-info\">\n        <div class=\"bio-header\">\n            <h4 class=\"speakerintro\">Harry Foster<\/h4>\n        <\/div>\n        <div class=\"bio-biography\">\n            <p>Chief Scientist Verification \u2013 IC Verification Solutions, Siemens Digital Industry Software<\/p>\n<p>\u00a0<\/p>        <\/div>\n        <div class=\"bio-contact\">\n            <p><a href=\"https:\/\/www.linkedin.com\/in\/harry-foster-19a41a\/\" target=\"_blank\" rel=\"noopener\">Connect with Harry on LinkedIn<\/a><\/p>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"bio-block row\">\n    <div class=\"col-3 order-first bio-pic\">\n        <img decoding=\"async\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/32\/2022\/10\/Joe-Hupcey.jpg\" alt=\"Joe Hupcey III\" \/>\n    <\/div>\n    <div class=\"col-9 bio-info\">\n        <div class=\"bio-header\">\n            <h4 class=\"speakerintro\">Joe Hupcey III<\/h4>\n        <\/div>\n        <div class=\"bio-biography\">\n            <p>Verification Product Technologist, IC Verification Solutions, Siemens Digital Industry Software<\/p>        <\/div>\n        <div class=\"bio-contact\">\n            <p><a href=\"https:\/\/www.linkedin.com\/in\/jhupcey\/\" target=\"_blank\" rel=\"noopener\">Connect with Joe on LinkedIn<\/a><\/p>\n        <\/div>\n    <\/div>\n<\/div>\n\n\n<p><strong>Related links:<\/strong><br><a href=\"https:\/\/blogs.sw.siemens.com\/podcasts\/where-today-meets-tomorrow\/eda-dvt-the-growing-complexity-in-field-programmable-gate-arrays-fpga-ep-1\/\" target=\"_blank\" rel=\"noreferrer noopener\">2022 Wilson Research Study \u2013<\/a> <a href=\"https:\/\/blogs.sw.siemens.com\/podcasts\/where-today-meets-tomorrow\/eda-dvt-the-growing-complexity-in-field-programmable-gate-arrays-fpga-ep-1\/\" target=\"_blank\" rel=\"noreferrer noopener\">Growing Complexity FPGA \u2013 ep 1<\/a><br><a href=\"https:\/\/blogs.sw.siemens.com\/podcasts\/where-today-meets-tomorrow\/eda-dvt-the-current-trends-in-fpga-verification-ep-2\/\" target=\"_blank\" rel=\"noreferrer noopener\">2022 Wilson Research Study \u2013 FPGA Verification \u2013 ep 2<\/a><br><a href=\"https:\/\/blogs.sw.siemens.com\/podcasts\/where-today-meets-tomorrow\/2022-wilson-research-study-the-current-trends-in-asic-design-and-verification-pt-1-of-2\/?1668555040\" target=\"_blank\" rel=\"noreferrer noopener\">2022 Wilson Research Study \u2013 ASIC Design and Verification pt. 1 of 2<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>An increase in the complexity of designs has led to the adoption of more advanced technology in verification. This is&#8230;<\/p>\n","protected":false},"author":29361,"featured_media":6025,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[4],"tags":[373,299,385,330],"industry":[],"product":[],"coauthors":[417],"class_list":["post-6024","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-where-today-meets-tomorrow","tag-digital-transformation-tag","tag-digitalization","tag-podcast","tag-xcelerator"],"featured_image_url":"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/32\/2022\/11\/HF-WG-podcast-Ep4-banner.jpg","_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/posts\/6024","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/users\/29361"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/comments?post=6024"}],"version-history":[{"count":5,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/posts\/6024\/revisions"}],"predecessor-version":[{"id":8857,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/posts\/6024\/revisions\/8857"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/media\/6025"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/media?parent=6024"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/categories?post=6024"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/tags?post=6024"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/industry?post=6024"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/product?post=6024"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/podcasts\/wp-json\/wp\/v2\/coauthors?post=6024"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}