Open-Source Verification
By Brian Bailey, Semiconductor Engineering
Sorting out what is meant by open-source verification is not easy, but it leaves the door open to new approaches
Ask different people what open-source verification means and you will get a host of different answers. They range from the verification of open-source hardware, to providing an open-source verification infrastructure, to providing open-source stream generators or reference models, to open-source simulators and formal verification engines.
[....]
Part two will look at the components necessary for an open-source verification environment and the ways in which they are being integrated into commercial frameworks.