Thought Leadership

Part 1: The 2020 Wilson Research Group Functional Verification Study

In my previous blog, I introduced the 2020 Wilson Research Group Functional Verification Study (click here). The objective of my previous blog was to provide an overview on our large, worldwide industry study. The key findings from this study will be presented in a set of upcoming blogs.

In this blog, I present trends related to various aspects of FPGA design to illustrate growing design complexity.

The Global FPGA Semiconductor Market

The 2019 global semiconductor market was valued at $385.4 billion after experiencing a 15 percent decline due to a 32 percent drop in the memory IC market, which is expected to recover in 2021. The FPGA portion of the semiconductor market is valued at about $5 billion. The FPGA semiconductor market is expected to reach a value of $7.5 billion by 2030, growing at a compounded annual growth rate (CAGR) of 4.4 percent during this forecast period. The growth in this market is being driven by new and expanding end-user applications related to data center computing, networking, and storage, as well as communication.

Historically, FPGAs have offered two primary advantages over ASICs. First, due to their low NRE, FPGAs are generally more cost effective than IC/ASICs for lowvolume production. Second, FPGAs’ rapid prototyping capabilities and flexibility can reduce the development schedule since a majority of the verification and validation cycles have traditionally been performed in the lab. More recently, FPGAs offer advantages related to performance for certain accelerated applications by exploiting hardware parallelism (e.g., AI Neural Networks).

The IC/ASIC market in the mid- to late-2000 timeframe underwent growing pains to address increased verification complexity. Similarly, we find today’s FPGA market is being forced to address growing verification complexity. With the increased capacity and capability of today’s complex FPGAs and the emergence of high-performance SoC programmable FPGAs (e.g., Xilinx Zynq® UltraSCALE+, Intel® Stratix®, and Microsemi SmartFusion®2), traditional lab-based approaches to FPGA verification and validation are becoming less effective. Later in this blog series, we plan to quantify the ineffectiveness of today’s FPGA verification processes in terms of nontrivial bug escapes into production.

Fig. 1-1. Number of embedded processor cores

Our 2020 study, for the first time, tracked the number of FPGA projects that have incorporated a RISC-V processor in their design, which was 23 percent. In addition, we tracked the number of FPGA projects that have incorporated some type of AI accelerator processor (e.g., TPU, etc.), which was 19 percent.

Asynchronous Clock Domains

In Fig. 1-2, we see that 92% of designs being implemented as FPGAs contain two or more asynchronous clock domains. Verifying requirements associated with multiple asynchronous clock domains has increased both the verification workload and complexity. For example, a class of metastability bugs cannot be demonstrated on an RTL model using simulation. To simulate these issues requires a gate-level model with timing, which is often not available until later stages in the design flow. However, static clock-domain crossing (CDC) verification tools have emerged and are being adopted to help identify clock domain issues directly on an RTL model at earlier stages in the design flow.

Fig. 1-2. Number of asynchronous clock domains

Security Features

Today we find that 43 percent of FPGA projects add security features to their designs. Examples of security features include security assurance hardware modules (e.g., a security controller) that are designed to safely hold sensitive data, such as encryption keys, digital right management (DRM) keys, passwords, and biometrics reference data. These security features add requirements and complexity to the verification process.

Safety Features

Another example of increasing requirements contributing to complexity relates to safety-critical designs. In 2020, we find that 40 percent of all FPGA projects are working under one of multiple safety-critical development process standards or guidelines. However, our 2018 study found that 56 percent of all FPGA projects were working under one of multiple safety-critical development standards, which we suspect was too an anomaly in the 2018 study. We know that the automotive industry is currently experiencing a contraction due to COVID-19, which might account for some of this year’s decline in terms of safety critical projects. In addition, there are potentially some regional biases as discussed in the Introduction section D that should be considered.

For those projects working under a safety-critical development process standard or guideline, in Fig. 1-3 we show the specific breakdown for the various standards. Note that some projects are required to work under multiple safety standards or guidelines, which is why the percentage adoption sums to more than 100 percent. For example, IEC61508 and IEC61511.

Fig. 1-3. Safety critical development standard used on FPGA projects

The key takeaway from this blog is that FPGA designs are growing in complexity, which impacts verification effort and effectiveness.

In my next blog, I’ll focus on verification effectiveness trends related to FPGA designs.

Quick links to the 2020 Wilson Research Group Study results

Harry Foster
Chief Scientist Verification

Harry Foster is Chief Scientist Verification for Siemens Digital Industries Software; and is the Co-Founder and Executive Editor for the Verification Academy. Harry served as the 2021 Design Automation Conference General Chair, and is currently serving as a Past Chair. Harry is the recipient of the Accellera Technical Excellence Award for his contributions to developing industry standards. In addition, Harry is the recipient of the 2022 ACM Distinguished Service Award, and the 2022 IEEE CEDA Outstanding Service Award.

More from this author

Comments

One thought about “Part 1: The 2020 Wilson Research Group Functional Verification Study

Leave a Reply

This article first appeared on the Siemens Digital Industries Software blog at https://blogs.sw.siemens.com/verificationhorizons/2020/11/05/part-1-the-2020-wilson-research-group-functional-verification-study/