伴随着工业技术的飞速发展,集成电路的规模与日俱增。规模巨大的集成电路设计给验证工作带来了巨大的挑战,芯片验证工作已经占据设计工作大约三分之二的时间,俨然成为了芯片设计的瓶颈。针对上述问题,本课题对集成电路功能验证工作展开研究,课题的研究内容与创新点主要有:1)为了加快集成电路设计功能验证的速度,缩短验证周期,提出了基于阶段转移关系的功能点模型。这种模型基于设计的功能规范说明文档提取功能点,隐藏设计的具体实现,不必描述设计实现的所有有限状态机,不仅克服了模拟验证存在的验证不完备的问题,也解决了形式化验证中容易产生的状态爆炸的问题。2)为了提高数据通路的验证效率,提出了基于功能点模型的数据通路验证方法。这种验证方法包含的基于知识库的Corner Case遍历策略能够解决传统数据通路验证过程中所存在的边界条件难以覆盖的问题。另外,基于数据通路验证空间巨大的验证难点,验证方法中包含的区域分割策略提出对数据通路的验证空间进行分割,针对较小的验证子空间产生特定激励,实现对数据通路的高效验证。3)设计并实现了基于功能点模型的自动化验证平台。在验证工程师为待测设计创建功能点模型之后,自动化验证平台能够为DUT自动地生成test bench,从而解决了传统的人工编写test bench的方式存在耗时长、易出错的问题。验证平台的自动化生成及其良好的可重用性在很大程度上提高了验证效率。为了检验功能点模型以及自动化验证平台的有效性,我们选择两款不同规模的设计进行了功能验证,实验结果表明,运用我们提出的验证方法,不仅可以产生高效的测试激励,而且可以大大缩短验证周期,进而达到加快芯片设计的目的。