随着现代SoC设计规模及复杂度的急剧增加,对验证的要求越来越高。验证人员如何在验证的过程中客观评价验证的完备性,定量评估验证质量,从而实现高水平的SoC级别验证极具挑战性。与此同时,如何提高验证的效率,简化验证流程,提高整个流程的自动化程度,对缩短整个开发周期、有效减少项目研发经费极为重要。在功能验证中,覆盖率是定量评价验证完备性的关键标准,但在SoC系统级别的验证中,为了节省重编译时间,绝大多数的测试用例都是使用C/C++直接编写,而C/C++并不支持功能覆盖率的直接实现,这使得在SoC级别定量评估功能和断言覆盖率并不容易。现有的SoC级别验证均通过测试用例的通过率来评估验证进度,这使得缺陷逃逸的几率变大,对于验证而言是极度不安全的。因此,将功能覆盖率和断言覆盖率引入系统级别验证极为重要。本论文提出一个自动化定量验证系统。首先为功能覆盖率建模,实现System Verilog级别的覆盖率任务,利用直接编程接口将System Verilog任务导入到C/C++环境中,以实现在SoC级别使用功能覆盖率。与此同时,总结常用断言,并将其封装为任务,形成一个可以涵盖日常验证需求的断言库,同样利用直接编程接口,将断言任务引入到C/C++测试用例中,实现系统级别功能覆盖率和断言覆盖率使用方法的统一。之后,提取功能和断言覆盖率任务的相关参数,将其添加到HVP中,实现带有功能覆盖率和断言覆盖率的HVP模板,使得验证人员在创建验证计划时即可填入功能覆盖率和断言覆盖率的相关信息,同时,利用该HVP直接生成功能和断言覆盖率相关测试用例。在此基础上,创建自动化系统,将上述工作流程基本实现自动化。利用Python和Makefile,实现更新HVP模板的自动化、测试用例生成的自动化以及映射的自动化,利用自动化工具实现流程的简化。本论文利用功能覆盖率以及断言覆盖率实现系统级别定量评估验证质量,同时,在整个流程中,从HVP出发创建验证计划,最终结果又会全部反标至HVP,实现验证功能点、测试用例和覆盖率全部映射至最初的HVP中,为验证提供定量评估标准,在此基础上,自动化系统提高了流程的自动化程度,减轻验证人员负担。将本文设计的自动化定量验证系统应用于实际验证项目中,应用结果表明,本系统实现了系统级别的自动化定量评估验证质量。相较于传统的验证系统,本系统降低了对覆盖率相关验证背景知识要求,将80%的流程实现了自动化,同时提高项目中的垂直和项目间水平复用性,有助于提高验证工程师的日常工作效率。