关于IC验证中用到的断言和功能覆盖率,结合了方法学和应用的思想,值得一读