用DW做的网站生成链接,代运营推广公司,wordpress 设置不生效,做网站卖电脑一、概述
1.1 验证的目的和方法 在现代集成电路设计中#xff0c;验证所占工作量超过70%。验证要求真实而完备#xff0c;它决定了设计的成败与成本。 验证的目的 原始描述是否正确#xff1f;#xff08;代码#xff09; 逻辑功能是否正确#xff1f;#xff08;功能…一、概述
1.1 验证的目的和方法 在现代集成电路设计中验证所占工作量超过70%。验证要求真实而完备它决定了设计的成败与成本。 验证的目的 原始描述是否正确代码 逻辑功能是否正确功能 时序及其相关性能指标是否正确时序、速度、噪声 是否完全符合物理设计规则工艺 功耗、可测性、可靠性、可制造性是否满足要求其他 验证的方法 软件验证也叫软件模拟simulation基于EDA工具易行有效性取决于EDA工具和设计师的经验 硬件验证也叫硬件仿真emulation基于FPGA或其他硬件仿真器速度比软件仿真快有效性介于软件验证和流片验证之间 流片验证基于样片及测试最真实代价高昂 1.2 验证的要求 所有设计层次都要进行仿真验证 不同的设计层次或设计阶段采用不同的仿真验证工具管、门、RTL、逻辑、系统数字、模拟、混合时序、逻辑、功耗等 所有功能与性能指标都要通过仿真验证 仿真验证必须考虑最差情况Worst、Typical、Best 验证必须考虑仿真精度与计算效率的折衷
1.3 验证的分类 功能验证动态验证或功能仿真 方法施加外部输入激励到所设计的电路模型判断它所产生的输出响应是否符合预期功能主要用于验证电路功能 特点最接近电路实际工作场景但难以找到完全的激励来覆盖电路的所有功能而且耗费时间对于规模大的电路尤其如此 类型电路仿真逻辑仿真 时序验证静态验证 方法分析电路所有路径的时序或者将待验证的电路与参考电路进行对照比较主要用于验证电路性能指标限于数字逻辑电路 特点无需输入激励信号速度快但无法验证电路功能准确性较低 类型静态时序分析形式验证等效性检查 物理验证 方法检查版图是否符合预定的设计规则是否与电路一致 特点同时需要版图和电路数据物理设计完成后进行 类型DRCERCLVS 1.4 FPGA设计验证流程 二、动态仿真
2.1 动态仿真流程 在进行动态仿真时我们需要像仿真工具输入激励描述和电路描述并给出相应的控制命令。其中激励描述指的是根据电路功能要求设计尽可能全面或有充分代表性的激励信号电路描述指的是将用户对电路的描述转换成EDA工具可识别的形式如逻辑表达式、网表、等效电路。控制命令表示设置初始值、仿真时间、过程控制、中断、观察仿真状态等。 2.2 电路仿真与逻辑仿真
2.2.1 电路仿真 电路级仿真多用于模拟电路 用于仿真晶体管级的电路精确性高功能全面 SPICE电路模拟的事实标准已衍生出Spectre、HSPICE、PSPICE、OrCAD、Workbench等多种版本 NanoSimSynopsys公司开发可用于几百万门、0.13μm以下节点、模拟/数字/混合信号电路设计验证 这里我们选取一种有代表性的电路仿真进行介绍SPICE仿真。 SPICE仿真程序由美国加利福尼亚大学伯克利分校于1972年起开发基于电路网表和器件模型对电路各个节点进行包括直流、交流和瞬态分析在内的仿真精确度高但对大规模电路仿真耗时大。 2.2.2 逻辑仿真 逻辑级仿真只用于数字电路 行为级仿真验证模型、算法和行为等抽象程度较高的内容一般不考虑具体的实现方式仿真语言可以是HDL或C等高级语言仿真环境可以使用MATLAB、SPW、COSSAP等 RTL级仿真验证RTL级代码一般不考虑实际器件的延时用HDL编写仿真激励仿真工具有Synopsys的VSS、Cadence的NC-Sim等 门级仿真pre-layout前仿真经过综合的门级网表post-layout后仿真布局布线后的网表都需使用器件与互连的延时信息包含在SDF文件中 同样我们选取一个有代表性的例子四位数值比较器 2.3 基于事件基于周期的仿真 基于事件的仿真Event-based simulation 输入状态一旦发生变化事件发生就会计算得到输出响应看是否满足要求 既能验证逻辑也能验证时序 既可用于同步系统也可用于异步系统 电路规模和输入向量复杂可仿4~28种输入状态时仿真时间很长适合对功能块和关键局部进行仿真目前多数动态仿真工具基于这种方法 基于周期的仿真Cycle-based simulation 每个时钟周期结束时计算电路的输入-输出稳态响应看是否满足要求 只能验证逻辑不能验证时序故必须与静态验证工具配合应用 只能验证同步系统不能验证异步系统 仿真速度远高于基于事件的仿真快10~100倍 适合对超大规模复杂数字电路如微处理器、浮点处理器、系统芯片等进行仿真以及作了少量修改后的验证 2.4 激励生成响应分析 如何生成激励 编制测试向量对大规模芯片而言编制工作量巨大要穷尽所有情况的话仿真时间很长16位以上的微处理器已不可能实现穷尽测试。测试向量可采用HDL、波形、事务和设计约束等方法建立。随机测试或最坏情况测试若设计规模过大使得激励无法覆盖所有的边界条件可采用随机化的激励数据来验证可在有限的时间和人力条件下覆盖到更多的边界条件。也可采用最坏情况下的测试但会增大设计难度和实现成本。借鉴已有数据借鉴类似芯片的测试向量如1GHz主频CPU的验证可借鉴500MHz主频CPU的历史数据。 如何分析响应 肉眼观察Eyeballing靠人工判断验证结果的准确性对大规模芯片而言工作量巨大待观测信号数较多时难以分析它们之间的交互过程。与基准Golden文件比较必须有基准文件可以是前次仿真的结果也可以是不同抽象层次行为级、RTL级、门级的仿真结果。协议检查Protocol monitors对必须满足标准协议的接口如PCI、AMBA总线接口等进行协议符合性测试协议常需使用抽象程度更高的验证语言来表征。 2.5 基于事务与基于断言 事务Transaction也称交易是针对设计对象所作的一次数据或控制的传输例如对存储器的一次读取或者改写不同单元之间通过总线进行的一次报文数据发送。 基于事务的验证Transaction-based Verification将复杂的激励单元或向量组合抽象成事务模型也叫事务器transactor或事务验证模块如将对存储器或总线的读/写操作转换为寻址和数据信号。事务模型可以用抽象程度更高的硬件验证语言如行为级HDL、C、System C来编写从而大大提高了激励产生以及整个验证的效率。 断言Assertions电路必须永远满足的某种行为或状态只有真或假两种结果。例如存储器不可能同时读和写FSM状态机中表示状态的独热码不可能各位全为0。 基于断言的验证Assertion-based verification用布尔表达式的语句来描述断言插入设计的关键点进行观测如发现错误可快速定位其源头。 可插入电路内部的任何关键点需要内部结构信息属于白盒验证。插入断言不应影响设计结构与行为。在RTL代码中插入断言不应影响综合结果可将插入断言看成是综合的注释。与需全芯片、全时测试的动态仿真相比断言验证显著提高了可观察性和验证效率缩短了验证时间。 2.6 如何评估仿真验证质量 代码覆盖率Code Coverage验证过程中执行过的代码在所有代码中占有的比例。100%的代码覆盖率只代表每一行代码都在仿真中执行过并不意味着功能没有错误代码覆盖率的范围RTL编码的模块、路径、语句、条件分支、条件表达式的覆盖率寄存器的触发覆盖率每位信号的翻转覆盖率状态机的状态受访、状态跳变、状态互访的覆盖率等。功能覆盖率Functional Coverage仿真测试到的功能在设计实现所有功能中所占的比例。100%的功能覆盖率只能确保对设计者事先列出的所有功能可能有缺项都进行了验证。插入缺陷覆盖率Fault Insertion Coverage有意识地在设计中插入缺项Bug然后检查该Bug是否能在验证过程中检测到从而可有效地衡量测试用例的质量。显然我们不可能在设计中插入所有可能发生的Bug而只能随机地插入有限个Bug。 三、小结 在现代集成电路设计中验证所占工作量超过70%。验证要求真实而完备它决定了设计的成败与成本。本文主要介绍了什么是验证为什么我们需要验证芯片验证大体上可以分成动态验证、静态验证和物理验证本文又着重介绍了动态验证的内容。
