SystemVerilog与功能验证概念.ppt

System Verilog 与功能验证 功能验证技术和方法学概要 为什么需要IC验证 IC设计复杂度巨大，规模已达上亿门级。 70%验证， 30%设计。 验证是IC设计的关键部分。 功能验证技术和方法学概要 功能验证技术和方法学概要 什么是验证 验证是确保设计和预定的设计期望一致（吻合） 的过程。 功能验证技术和方法学概要 IC设计不同阶段验证形式 1）寄存器传输级（ＲＴＬ）的功能验证。 2）门级的仿真，为了验证综合后网表和期望的功能是否一致。 3) 形式验证（等价性检查） 来确保门级网表和ＲＴＬ代码的一致性。 4）时序验证，为了验证设计能否在特定的频率上运行，通常采用静态验证工具 功能验证技术和方法学概要 功能验证平台 验证平台的主要功能如下： 1）产生激励。 2）把激励应用到被测设计中。 3）检查结果和验证测试是否通过，也就是确保被测设计的输出和期望一致。 功能验证技术和方法学概要 功能验证技术和方法学概要 激励产生形式 1）用户直接输入，即直接测试(direct test)。 2）种子随机生成，即随机测试(random test)。 3）用户可控的随机输入，即约束随机测试(constraint random test) 功能验证技术和方法学概要 激励的驱动 激励由验证平台生成并且通过对应的接口发送到被测设计中。验证平台通常称之为BFM（Bus function model）或者driver模块 功能验证技术和方法学概要 结果检查 1）通过视图（波形）检查。 2）通过自动化的后处理比较。运用脚本工具进行比对。 3）做一个实时的监控器（monitor）比较。 实际项目中我们通常三者结合着去检查比对结果。 功能验证技术和方法学概要 功能验证流程 验证过程可以被分解成三个主要阶段： 1）制定验证策略和验证计划； 2）创建验证平台，运行和调试； 3）覆盖率分析和回归测试。 功能验证技术和方法学概要 制定验证策略和验证计划 功能验证技术和方法学概要 创建验证平台，运行和调试； 功能验证技术和方法学概要 覆盖率分析和回归测试 功能验证技术和方法学概要 验证技术和验证方法学 三种常用验证手段：白盒、黑盒和灰盒验证 功能验证技术和方法学概要 黒盒验证 功能验证技术和方法学概要 白盒验证 功能验证技术和方法学概要 灰盒验证 功能验证技术和方法学概要 验证存在的挑战 1）完备性； 2）可重用性； 3）可靠性(减少项目中的手工操作)； 4）效率（重用和提高抽象层次）； 5）性能。 功能验证技术和方法学概要 验证方法学 验证需要解决2个问题： 1）Does DUT work? 2）Can we done? 功能验证技术和方法学概要 设计验证交互流程 功能验证技术和方法学概要 验证方法学 目前验证只要方法有2中： 1）断言验证； 2）覆盖率驱动验证； 功能验证技术和方法学概要 功能验证技术和方法学概要 断言验证 一般来说，断言是一个必须验证的，关于设计期望行为（也就是属性：property） 的声明或者描述。断言验证（Assertion Based Verification,ABV） 主要的目的是保证设计和设计期望之间是一致的. 主要保证RTL时序与设计一致。 功能验证技术和方法学概要 覆盖率驱动验证 覆盖率驱动验证（Coverage Driven Verification, CDV）是一个基于仿真的验证方法，专门被开发用来解决当前功能验证项目面临的效率和完备性挑战. 功能验证技术和方法学概要 覆盖率驱动验证 覆盖率驱动验证方法学涉及以下技术： 事务级验证、约束随机激励产生、自动化结果 比较、覆盖率统计分析和直接测试。 功能验证技术和方法学概要 事务级验证 事务级验证允许在一个更高的抽象层次来创建验证场景。 信号级VS事物级：低效VS高效，简单VS复杂。 功能验证技术和方法学概要 事务级验证遵循原则 1）数据和数据流在较高的抽象层次定义（例如，帧、包）； 2）验证场景在较高的抽象层次描述（例如，写存储器、执行指令）； 3）事务处理器把这些抽象层次的数据和活动转换成低层次的操作和信号，以便应用到被测设计中。 功能验证技术和方法学概要 约束随机激励生成（Constrained Random Generation） 随机激励生成指的是