Verification Horizons | September 2021

The September Verification Horizons is Now Online!

I’m really excited to share with you a very special issue of the Verification Horizons newsletter for September, 2021. The…

U2U 2020 - Raytheon - CoverCheck

3 Notable Formal Verification Conference Papers of 2020

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

Part 12: The 2020 Wilson Research Group Functional Verification Study

ASIC/IC Verification Results This blog is a continuation of a series of blogs related to the 2020 Wilson Research Group…

Part 11: The 2020 Wilson Research Group Functional Verification Study

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

Part 9: The 2020 Wilson Research Group Functional Verification Study

IC/ASIC Verification Technology Adoption Trends This blog is a continuation of a series of blogs related to the 2020 Wilson…

Part 8: The 2020 Wilson Research Group Functional Verification Study

IC/ASIC Resource Trends This blog is a continuation of a series of blogs related to the 2020 Wilson Research Group…

Part 7: The 2020 Wilson Research Group Functional Verification Study

IC/ASIC Design Trends This blog is a continuation of a series of blogs related to the 2020 Wilson Research Group…

Part 6: The 2020 Wilson Research Group Functional Verification Study

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

Part 5: The 2020 Wilson Research Group Functional Verification Study

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