SystemVerilog与功能验证全解-共34页课件.ppt

1、System Verilog 与功能验证功能验证技术和方法学概要功能验证技术和方法学概要l为什么需要IC验证 IC设计复杂度巨大，规模已达上亿门级。70%验证，30%设计。验证是IC设计的关键部分。功能验证技术和方法学概要功能验证技术和方法学概要功能验证技术和方法学概要功能验证技术和方法学概要l什么是验证 验证是确保设计和预定的设计期望一致（吻合）的过程。功能验证技术和方法学概要功能验证技术和方法学概要lIC设计不同阶段验证形式 1）寄存器传输级（）的功能验证。2）门级的仿真，为了验证综合后网表和期望的功能是否一致。3)形式验证（等价性检查）来确保门级网表和代码的一致性。4）时序验证，为了验证

2、设计能否在特定的频率上运行，通常采用静态验证工具功能验证技术和方法学概要功能验证技术和方法学概要l功能验证平台 验证平台的主要功能如下：1）产生激励。2）把激励应用到被测设计中。3）检查结果和验证测试是否通过，也就是确保被测设计的输出和期望一致。功能验证技术和方法学概要功能验证技术和方法学概要功能验证技术和方法学概要功能验证技术和方法学概要l激励产生形式 1）用户直接输入，即直接测试(direct test)。2）种子随机生成，即随机测试(random test)。3）用户可控的随机输入，即约束随机测试(constraint random test)功能验证技术和方法学概要功能验证技术和方法学

3、概要l激励的驱动 激励由验证平台生成并且通过对应的接口发送到被测设计中。验证平台通常称之为BFM（Bus function model）或者driver模块功能验证技术和方法学概要功能验证技术和方法学概要l结果检查 1）通过视图（波形）检查。2）通过自动化的后处理比较。运用脚本工具进行比对。3）做一个实时的监控器（monitor）比较。实际项目中我们通常三者结合着去检查比对结果。功能验证技术和方法学概要功能验证技术和方法学概要l功能验证流程 验证过程可以被分解成三个主要阶段：1）制定验证策略和验证计划；2）创建验证平台，运行和调试；3）覆盖率分析和回归测试。功能验证技术和方法学概要功能验证技术

4、和方法学概要l制定验证策略和验证计划功能验证技术和方法学概要功能验证技术和方法学概要l创建验证平台，运行和调试；功能验证技术和方法学概要功能验证技术和方法学概要l覆盖率分析和回归测试功能验证技术和方法学概要功能验证技术和方法学概要l验证技术和验证方法学 三种常用验证手段：白盒、黑盒和灰盒验证功能验证技术和方法学概要功能验证技术和方法学概要l黒盒验证功能验证技术和方法学概要功能验证技术和方法学概要l白盒验证功能验证技术和方法学概要功能验证技术和方法学概要l灰盒验证功能验证技术和方法学概要功能验证技术和方法学概要l验证存在的挑战 1）完备性；2）可重用性；3）可靠性(减少项目中的手工操作)；4）效

5、率（重用和提高抽象层次）；5）性能。功能验证技术和方法学概要功能验证技术和方法学概要l验证方法学 验证需要解决2个问题：1）Does DUT work?2）Can we done?功能验证技术和方法学概要功能验证技术和方法学概要l设计验证交互流程功能验证技术和方法学概要功能验证技术和方法学概要l验证方法学 目前验证只要方法有2中：1）断言验证；2）覆盖率驱动验证；功能验证技术和方法学概要功能验证技术和方法学概要功能验证技术和方法学概要功能验证技术和方法学概要l断言验证 一般来说，断言是一个必须验证的，关于设计期望行为（也就是属性：property）的声明或者描述。断言验证（Assertion

6、Based Verification,ABV）主要的目的是保证设计和设计期望之间是一致的.主要保证RTL时序与设计一致。功能验证技术和方法学概要功能验证技术和方法学概要l覆盖率驱动验证 覆盖率驱动验证（Coverage Driven Verification,CDV）是一个基于仿真的验证方法，专门被开发用来解决当前功能验证项目面临的效率和完备性挑战.功能验证技术和方法学概要功能验证技术和方法学概要l覆盖率驱动验证 覆盖率驱动验证方法学涉及以下技术：事务级验证、约束随机激励产生、自动化结果 比较、覆盖率统计分析和直接测试。功能验证技术和方法学概要功能验证技术和方法学概要l事务级验证 事务级验证允

7、许在一个更高的抽象层次来创建验证场景。信号级VS事物级：低效VS高效，简单VS复杂。功能验证技术和方法学概要功能验证技术和方法学概要l事务级验证遵循原则 1）数据和数据流在较高的抽象层次定义（例如，帧、包）；2）验证场景在较高的抽象层次描述（例如，写存储器、执行指令）；3）事务处理器把这些抽象层次的数据和活动转换成低层次的操作和信号，以便应用到被测设计中。功能验证技术和方法学概要功能验证技术和方法学概要l约束随机激励生成（Constrained Random Generation）随机激励生成指的是利用随机生成技术来产生一个事务交易中所有的数据内容，同样产生一系列事务交易来形成一个特定的验证场

8、景。随机生成提高了验证效率和验证的完备性。功能验证技术和方法学概要功能验证技术和方法学概要l约束随机激励生成 随机验证环境是不可以完全随机的，生成的数据和参数必须保持在一个合法的数值集合中。功能验证技术和方法学概要功能验证技术和方法学概要l约束随机VS直接测试功能验证技术和方法学概要功能验证技术和方法学概要l自动化比较 自动化结果比较可以采用监控器（monitor）和积分板(scoreboard)等技术。监控器是常常用来做协议检查和搜集设计数据流，然而积分板是用来做端到端的行为和数据比较的。功能验证技术和方法学概要功能验证技术和方法学概要l覆盖率统计和分析 1）哪些场景在验证计划列出的，在一个仿真生成运行。2）哪些没有在验证计划中列出的特定场景被生成了。3）每次仿真运行对整个验证过程的贡献。4）为了生成遗漏的场景，约束修改是必须的。