随着集成电路工艺技术的迅速发展,集成电路的设计规模与日俱增,设计的功能复杂度随设计规模呈指数增长,功能验证的时间占整个设计周期的50%～80%,显然功能验证已经成为大规模芯片设计的一个瓶颈。本文对集成电路功能验证工作展开研究。我们采用一种基于功能规范的半形式化验证方法,其将模拟验证方法与形式化验证方法结合,通过采用形式化模型来描述设计功能点并遍历功能模型生成测试激励来进行模拟验证,该方法克服了模拟验证完备性差与形式化验证适用性差的问题。本文的研究工作以及创新点主要有以下几个方面:1、提出基于实体状态转移的功能点模型。该模型基于功能规范对电路功能行为及内部结构进行描述,只关注功能相关的设计行为,隐藏设计细节;同时该模型还对电路内部功能行为和硬件资源进行统一建模,从而保证功能模型的完备性。2、探索基于功能点模型的控制通路功能验证方法。该方法通过遍历控制敏感型阶段转移关系中控制通路类端口的全部合法值域,并采用数据敏感型阶段转移关系测试空间的特定边界情况的全覆盖加上一定规模的随机覆盖,用以生成高质量的测试激励,提高测试空间覆盖率。3、完成基于功能点模型的自动化验证平台的搭建。该平台可实现功能点模型的高效建模、测试激励的自动生成等验证工作,从而提高验证效率。为了检验功能点模型的有效性,本文对控制通路密集型DMA电路进行了实例验证。实验表明采用我们提出的基于功能点模型的半形式化验证方法以及实现的自动化验证平台,相比于传统的人工验证方法能够大大缩短验证周期,提高验证效率。