GOMACTech 2025 Preview: FPGA Safety and Security Policy Compliance via HDL-to-Bitstream Equivalence Checking (Session 43.5)

Security and safety policies across domains such as embedded security, defense safety, and automotive safety have been updated to require…

Part 6: The 2022 Wilson Research Group Functional Verification Study

FPGA Language and Library Trends This blog is a continuation of a series of blogs related to the 2022 Wilson…

Part 5: The 2022 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2022 Wilson Research Group Functional Verification Study…

Part 4: The 2022 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2022 Wilson Research Group Functional Verification Study…

Part 3: The 2022 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2022 Wilson Research Group Functional Verification Study.  In…

Part 2: The 2022 Wilson Research Group Functional Verification Study

In my previous blog, I present FPGA design trends identified in the 2022 Wilson Research Group Functional Verification Study to…

Part 1: The 2022 Wilson Research Group Functional Verification Study

In my previous blog, I introduced the 2022 Wilson Research Group Functional Verification Study (click here). The objective of my previous…

Prologue: The 2022 Wilson Research Group Functional Verification Study

This is the first in a sequence of blogs that presents the findings from our new 2022 Wilson Research Group…

The Many Flavors of Equivalence Checking: Part 6, FPGA-focused Equivalency Checking Flows

With last year’s acquisition of OneSpin, we now have a valuable addition to the solutions I described in The Many…