I am not saying that there is not a lot more advancement that can and needs to be done with verification tools and methods, particularly around more analytical approaches to coverage and finding new ways to measure the completeness of verification, and especially better ways to make verification more efficient and effective since the supporting infrastructures such as compute farms and emulators can