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