原创 对于验证方法的一点感受

SV语音推出了这些年，各种验证方法学avm，rvm，ovm，vmm，uvm等虽然看起来不断发展，但是都是用于模块层次验证，是一种自外向内的验证，很难用于带有cpu核的全芯片验证，很多公司的芯片级验证还是需要手工编写c语言case来驱动cpu去测试其他模块接口，这种自里向外的验证，似乎SV的随机化帮不上什么忙。据说现在有自动生成C程序测试用例的工具breker Verification Systems ，不知道有多少公司在用，另外SC相关的SVM等方法学是否能完成这种随机，有经验的可以指教一下。