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. An advanced verification process enables users to manage the application of these new technologies in a complementary way, providing confidence that the myriad corner cases of today's increasingly complex designs have been covered.
The Verification Horizons publication expands upon verification topics to provide concepts, values, methodologies and examples to assist with the understanding of what these advanced functional verification technologies can do and how to most effectively apply them.
In addition, the Verification Horizons Blog provides an online forum providing updates on concepts, values, standards, methodologies and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.
Verification Horizons Issues:
2023
March
2022
December | July | March
2021
September | March
2020
November | July | March
2019
December | June | February
2018
November | June | March
2017
December | June | March
2016
November | June | March
2015
November | June | March
2014
November | June | March
2013
October | June | February
2012
October | June | February
2011
November | June | February
2010
November | June | February
2009
December | July | February
2008
October | June | February
