Welcome to the Verification Horizons Blog!
As Editor of the Verification Horizons newsletter, it is my pleasure to welcome you to the newest facet of our publishing empire, the Verification Horizons Blog. In this blog, I’ll be joined by Dennis Brophy, Harry Foster, and a host of other Verification Horizons contributors to keep you informed on the latest happenings in verification.
The advent of new technologies—such as constrained-random data generation, assertion-based verification, coverage-driven verification, formal model checking and Intelligent Testbench Automation to name a few — have changed the way we see functional verification productivity. This blog will provide an online forum for us to provide weekly updates on concepts, values, standards, methodologies and examples to assist with the understanding of what these advanced functional verification technologies can do and how to most effectively apply them. We’re looking forward to your comments and suggestions on the posts to make this a useful tool.
Of course, we’ll continue to serve our growing community of over 30,000 subscribers to the newsletter, but we hope to use this blog to talk about those things that might need to be discussed in a more timely fashion, or perhaps don’t require a full article to address. The comments section is a great way to “hear” what you think, too. Feel free to contribute to the discussion and suggest additional topics as well.
If you haven’t yet signed up for the newsletter, please visit our site to do so. I look forward to a lively online collaboration with you all.
Editor, Verification Horizons
- IEEE-SA EDA & IP Interoperability Symposium
- Back to School: How to Educate Yourself and Your Colleagues About Formal and CDC Verification
- Mentor Announces Joint Portable Stimulus Contribution with Cadence, Breker
- Ready for a Verification Extravaganza in the Land of Verification Engineers?
- Conclusion: The 2014 Wilson Research Group Functional Verification Study
- How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2
- Part 12: The 2014 Wilson Research Group Functional Verification Study
- Beating Design Complexity with VirtuaLAB
- Part 11: The 2014 Wilson Research Group Functional Verification Study
- How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 1 of 2