{"id":11579,"date":"2015-06-03T11:15:08","date_gmt":"2015-06-03T18:15:08","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=11579"},"modified":"2026-03-27T08:36:13","modified_gmt":"2026-03-27T12:36:13","slug":"part-6-the-2014-wilson-research-group-functional-verification-study","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2015\/06\/03\/part-6-the-2014-wilson-research-group-functional-verification-study\/","title":{"rendered":"Part 6: The 2014 Wilson Research Group Functional Verification Study"},"content":{"rendered":"<h2><strong>FPGA Language and Library Trends<\/strong><\/h2>\n<p>This blog is a continuation of a series of blogs related to the 2014 Wilson Research Group Functional Verification Study (<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/01\/21\/prologue-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">click here<\/a>). In my previous blog (<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/05\/11\/part-5-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">click here<\/a>), I focused on FPGA verification techniques and technologies adoption trends, as identified by the 2014 Wilson Research Group study. In this blog, I\u2019ll present FPGA design and verification language trends, as identified by the Wilson Research Group study.<\/p>\n<p>You might note that the percentage for some of the language and library data that I present sums to more than one hundred percent. The reason for this is that many FPGA projects today use multiple languages.<\/p>\n<h3><strong>FPGA RTL Design Language Adoption Trends<\/strong><\/h3>\n<p>Let\u2019s begin by examining the languages used for FPGA RTL design. Figure 1 shows the trends in terms of languages used for design, by comparing the 2012 Wilson Research Group study (in dark blue), the 2014 Wilson Research Group study (in light blue), as well as the projected design language adoption trends within the next twelve months (in purple). Note that the language adoption is declining for most of the languages used for FPGA design with the exception of Verilog and SystemVerilog.<\/p>\n<p>Also, it\u2019s important to note that this study focused on languages used for RTL design. We have conducted a few informal studies related to languages used for architectural modeling\u2014and it\u2019s not too big of a surprise that we see increased adoption of C\/C++ and SystemC in that space. However, since those studies have (thus far) been informal and not as rigorously executed as the Wilson Research Group study, I have decided to withhold that data until a more formal study can be executed related to architectural modeling and virtual prototyping.<\/p>\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-1.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-11580\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-1-520x390.png\" alt=\"\" width=\"520\" height=\"390\" \/><\/a><strong>Figure 1. Trends in languages used for FPGA design<\/strong><\/p>\n<p>It\u2019s not too big of a surprise that VHDL is the predominant language used for FPGA RTL design, although the projected trend is that Verilog will likely overtake VHDL in terms of the predominate language used for FPGA design in the near future.<\/p>\n<h3><strong>FPGA Verification Language Adoption Trends<\/strong><\/h3>\n<p>Next, let\u2019s look at the languages used to verify FPGA designs (that is, languages used to create simulation testbenches). Figure 2 shows the trends in terms of languages used to create simulation testbenches by comparing the 2012 Wilson Research Group study (in dark blue), the 2014 Wilson Research Group study (in light blue), as well as the projected verification language adoption trends within the next twelve months (in purple).<\/p>\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-2.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-11581\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-2-520x390.png\" alt=\"\" width=\"520\" height=\"390\" \/><\/a><strong>Figure 2. Trends in languages used in verification to create FPGA simulation testbenches<\/strong><\/p>\n<h3><strong>FPGA Testbench Methodology Class Library Adoption Trends<\/strong><\/h3>\n<p>Now let\u2019s look at testbench methodology and class library adoption for FPGA designs. Figure 3 shows the trends in terms of methodology and class library adoption by comparing the 2012 Wilson Research Group study (in dark blue), the 2014 Wilson Research Group study (in light blue), as well as the projected verification language adoption trends within the next twelve months (in purple).<\/p>\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-3.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-11583\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-3-520x390.png\" alt=\"\" width=\"520\" height=\"390\" \/><\/a><strong>Figure 3. FPGA methodology and class library adoption trends<\/strong><\/p>\n<p>Today, we see a downward trend in terms of adoption of all testbench methodologies and class libraries with the exception of UVM, which has increased by 28 percent since 2012. The study participants were also asked what they plan to use within the next 12 months, and based on the responses, UVM is projected to increase an additional 20 percent.<\/p>\n<h3><strong>FPGA Assertion Language and Library Adoption Trends<\/strong><\/h3>\n<p>Finally, let\u2019s examine assertion language and library adoption for FPGA designs. The 2014 Wilson Research Group study found that 44 percent of all the FPGA projects have adopted assertion-based verification (ABV) as part of their verification strategy. The data presented in this section shows the assertion language and library adoption trends related to those participants who have adopted ABV.<\/p>\n<p>Figure 4 shows the trends in terms of assertion language and library adoption by comparing the 2010 Wilson Research Group study (in dark blue), the 2012 Wilson Research Group study (in green), and the projected adoption trends within the next 12 months (in purple). The adoption of SVA continues to increase, while other assertion languages and libraries either remain flat or decline.<\/p>\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-4.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-11584\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/06\/2014-WRG-BLOG-FPGA-6-4-520x390.png\" alt=\"\" width=\"520\" height=\"390\" \/><\/a><strong>Figure 4. Trends in assertion language and library adoption for FPGA designs<\/strong><\/p>\n<p>In my next blog (<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/07\/08\/part-7-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">click here<\/a>), I will shift the focus of this series of blogs and start to present the ASIC\/IC findings from the 2014 Wilson Research Group Functional Verification Study.<\/p>\n<h2>Quick links to the 2014 Wilson Research Group Study results<\/h2>\n<ul>\n<li><a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/01\/21\/prologue-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">Prologue: The 2014 Wilson Research Group Functional Verification Study<\/a><\/li>\n<li><a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/01\/21\/understanding-and-minimizing-study-bias\/\" target=\"_blank\" rel=\"noopener\">Understanding and Minimizing Study Bias<\/a><\/li>\n<li>Part 1 \u2013 <a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/02\/08\/part-1-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">FPGA Design Trends<\/a><\/li>\n<li>Part 2\u00a0\u2013 <a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/03\/11\/part-2-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">FPGA Verification Effort Trends<\/a><\/li>\n<li>Part\u00a03\u00a0\u2013 <a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/04\/01\/part-3-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">FPGA Verification Effort Trends (Continued)<\/a><\/li>\n<li>Part 4 \u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/04\/21\/part-4-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">FPGA Verification Effectiveness Trends<\/a><\/li>\n<li>Part 5 \u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/05\/11\/part-5-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">FPGA Verification Technology Adoption Trends<\/a><\/li>\n<li>Part 6 \u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/06\/03\/part-6-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">FPGA Verification Language and Library Adoption Trends<\/a><\/li>\n<li>Part\u00a07 \u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/07\/08\/part-7-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">ASIC\/IC Design Trends<\/a><\/li>\n<li>Part 8\u00a0\u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/07\/13\/part-8-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">ASIC\/IC Resource Trends <\/a><\/li>\n<li>Part 9 \u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/07\/19\/part-9-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">ASIC\/IC Verification Technology Adoption Trends<\/a><\/li>\n<li>Part 10 \u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/07\/27\/part-10-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">ASIC\/IC Language and Library Adoption Trends<\/a><\/li>\n<li>Part 11\u00a0\u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/08\/10\/part-11-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">ASIC\/IC Power Management Trends<\/a><\/li>\n<li>Part 12\u00a0\u2013\u00a0<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/08\/17\/part-12-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">ASIC\/IC Verification Results Trends<\/a><\/li>\n<li><a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/08\/22\/conclusion-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">Conclusion: The 2014 Wilson Research Group Functional Verification Study<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>FPGA Language and Library Trends This blog is a continuation of a series of blogs related to the 2014 Wilson&#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":[313,326,350,533,751,758,787,819,827],"industry":[],"product":[],"coauthors":[],"class_list":["post-11579","post","type-post","status-publish","format-standard","hentry","category-news","tag-313","tag-accellera","tag-assertion-based-verification","tag-ieee-1800","tag-systemverilog","tag-testbench","tag-uvm","tag-verification","tag-verification-methodology"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11579","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=11579"}],"version-history":[{"count":1,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11579\/revisions"}],"predecessor-version":[{"id":19790,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11579\/revisions\/19790"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=11579"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=11579"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=11579"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=11579"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=11579"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=11579"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}