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…

The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

In EDA, the word “simulation” is used everywhere: there is RTL and gate level simulation, analog simulation, RF simulation, and…

Part 10: The 2018 Wilson Research Group Functional Verification Study

Part 10: The 2018 Wilson Research Group Functional Verification Study

IC/ASIC Language and Library Adoption Trends This blog is a continuation of a series of blogs related to the 2018…

Part 6: The 2018 Wilson Research Group Functional Verification Study

Part 6: The 2018 Wilson Research Group Functional Verification Study

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

New and Improved SystemVerilog 1800-2017

New and Improved SystemVerilog 1800-2017

The IEEE-SA has a policy of keeping standards active by making sure they get a cycle of updates every 10…

No One Expects Gate Level CDC Verification and Glitch Detection for ASIC Signoff!

No One Expects Gate Level CDC Verification and Glitch Detection for ASIC Signoff!

[Preface: at the upcoming DVCon 2018 in San Jose, poster 4.12 addresses some of the issues raised below, as well…

Part 10: The 2016 Wilson Research Group Functional Verification Study

Part 10: The 2016 Wilson Research Group Functional Verification Study

IC/ASIC Language and Library Adoption Trends This blog is a continuation of a series of blogs related to the 2016…

Part 6: The 2016 Wilson Research Group Functional Verification Study

Part 6: The 2016 Wilson Research Group Functional Verification Study

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

Still waiting… It’s Friday afternoon, and I don’t have my RTL

Still waiting… It’s Friday afternoon, and I don’t have my RTL

Using SystemVerilog to model RTL behavior in a pinch or anytime A couple weeks ago, sitting here in California on…