System-Verilog-与功能验证分析.ppt

SystemVerilog与功能验证 功能验证技术和方法学概要 为什么需要IC验证IC设计复杂度巨大 规模已达上亿门级 70 验证 30 设计 验证是IC设计的关键部分 功能验证技术和方法学概要 功能验证技术和方法学概要 什么是验证验证是确保设计和预定的设计期望一致 吻合 的过程 功能验证技术和方法学概要 IC设计不同阶段验证形式1 寄存器传输级 的功能验证 2 门级的仿真 为了验证综合后网表和期望的功能是否一致 3 形式验证 等价性检查 来确保门级网表和 代码的一致性 4 时序验证 为了验证设计能否在特定的频率上运行 通常采用静态验证工具 功能验证技术和方法学概要 功能验证平台验证平台的主要功能如下 1 产生激励 2 把激励应用到被测设计中 3 检查结果和验证测试是否通过 也就是确保被测设计的输出和期望一致 功能验证技术和方法学概要 功能验证技术和方法学概要 激励产生形式1 用户直接输入 即直接测试 directtest 2 种子随机生成 即随机测试 randomtest 3 用户可控的随机输入 即约束随机测试 constraintrandomtest 功能验证技术和方法学概要 激励的驱动激励由验证平台生成并且通过对应的接口发送到被测设计中 验证平台通常称之为BFM Busfunctionmodel 或者driver模块 功能验证技术和方法学概要 结果检查1 通过视图 波形 检查 2 通过自动化的后处理比较 运用脚本工具进行比对 3 做一个实时的监控器 monitor 比较 实际项目中我们通常三者结合着去检查比对结果 功能验证技术和方法学概要 功能验证流程验证过程可以被分解成三个主要阶段 1 制定验证策略和验证计划 2 创建验证平台 运行和调试 3 覆盖率分析和回归测试 功能验证技术和方法学概要 制定验证策略和验证计划 功能验证技术和方法学概要 创建验证平台 运行和调试 功能验证技术和方法学概要 覆盖率分析和回归测试 功能验证技术和方法学概要 验证技术和验证方法学三种常用验证手段 白盒 黑盒和灰盒验证 功能验证技术和方法学概要 黒盒验证 功能验证技术和方法学概要 白盒验证 功能验证技术和方法学概要 灰盒验证 功能验证技术和方法学概要 验证存在的挑战1 完备性 2 可重用性 3 可靠性 减少项目中的手工操作 4 效率 重用和提高抽象层次 5 性能 功能验证技术和方法学概要 验证方法学验证需要解决2个问题 1 DoesDUTwork 2 Canwedone 功能验证技术和方法学概要 设计验证交互流程 功能验证技术和方法学概要 验证方法学目前验证只要方法有2中 1 断言验证 2 覆盖率驱动验证 功能验证技术和方法学概要 功能验证技术和方法学概要 断言验证一般来说 断言是一个必须验证的 关于设计期望行为 也就是属性 property 的声明或者描述 断言验证 AssertionBasedVerification ABV 主要的目的是保证设计和设计期望之间是一致的 主要保证RTL时序与设计一致 功能验证技术和方法学概要 覆盖率驱动验证覆盖率驱动验证 CoverageDrivenVerification CDV 是一个基于仿真的验证方法 专门被开发用来解决当前功能验证项目面临的效率和完备性挑战 功能验证技术和方法学概要 覆盖率驱动验证覆盖率驱动验证方法学涉及以下技术 事务级验证 约束随机激励产生 自动化结果比较 覆盖率统计分析和直接测试 功能验证技术和方法学概要 事务级验证事务级验证允许在一个更高的抽象层次来创建验证场景 信号级VS事物级 低效VS高效 简单VS复杂 功能验证技术和方法学概要 事务级验证遵循原则1 数据和数据流在较高的抽象层次定义 例如 帧 包 2 验证场景在较高的抽象层次描述 例如 写存储器 执行指令 3 事务处理器把这些抽象层次的数据和活动转换成低层次的操作和信号 以便应用到被测设计中 功能验证技术和方法学概要 约束随机激励生成 ConstrainedRandomGeneration 随机激励生成指的是利用随机生成技术来产生一个事务交易中所有的数据内容 同样产生一系列事务交易来形成一个特定的验证场景 随机生成提高了验证效率和验证的完备性 功能验证技术和方法学概要 约束随机激励生成随机验证环境是不可以完全随机的 生成的数据和参数必须保持在一个合法的数值集合中 功能验证技术和方法学概要 约束随机VS直接测试 功能验证技术和方法学概要 自动化比较自动化结果比较可以采用监控器 monitor 和积分板 scoreboard 等技术 监控器是常常用来做协议检查和搜集设计数据流 然而积分板是用来做端到端的行为和数据比较的 功能验证技术和