基于RVM的12C总线控制器的验证.pdfVIP

维普资讯 科—技—黑信龙江息—— 科苑『l论谈『 基于RVM的I2C总线控制器的验证 张新伟 (重庆邮电学院，重庆 400065) 摘 要：首先简述验证的基本概念，然后介绍模拟验证的关键技术和RVM方法学，最后阐述 IIC总线协议，并通过RVM方法学搭建验证平台 对 IIC控制器进行验证 。 关键词：模拟验证技术；RVM方法学；IIC总线 引言：在集成电路快速发展的趋势下，系统 效检查是否所有需要出现的情况都已经遍历。 2．1,3SDA线上的数据必须在时钟的高电平 芯片逐渐成为现实。随着系统芯片的设计规模 1．2．4基于断言 的验证方 法 (Assertion— 周期保持稳定，数据线的高或低电平状态只有 和复杂度的不断提升，其验证已经成为了芯片 basedVerification) 在SCL线的时钟信号是低电平时才能改变。 设计中的瓶颈，大约 占整个芯片设计的70％， 在验证过程中，一般很难找出跨多个时钟 2．1．4发送到 SDA线上的每个数据的长度 甚至更多。因此如何对硬件设计进行完备的验 周期、顺序相关的一系列操作的时序和功能是 必须为 8位。每次传输可以发送的字节数量不 证，加快上市时间成为验证下l作中的热点。 否有不符合规范的地方 ，为此研究出基于断言 受限制。每个字节后面必须跟一个响应位。首先 l模拟验证技术和RVM方法学 的验证方法来推动验证技术发展。使用断言可 传输的是数据的最高位(MSB)。数据传输格式 1．1什么是验证 以很方便的对一个给定输入的设计的期望行为 如图l所示。 验证就是测试设计是否存在功能、时限、可 进行精确的描 j[二)C二)C：：)(二)二 厂— 二二)(二二x：：：：二：) 3c ；二 测试性和功耗等方面是否达到系统规范说明的 要求。 毒 …几 一三一u丹 l，2模拟验证技术 输 入，输 出 行 进入中断服务程序时SCL保持低电平 模拟验证是传统的验证方法，而且 目前仍 为、总线协议 图lIIC数据传输格式 然是主流的验证方法。模拟验证是将激励信号 以及设计中的一些复杂的关系。通过检查这些 3IIC控制器的仿真测试 施加于设计，进行计算并观察输出结果，并判断 表达式是否发生，可以很简单地进行功能覆盖 在实际仿真测试中，采用了Synopsys公司 该结果是否与预期一致。模拟验证中，验证师本 的检查，并且这种覆盖率分析是针对跨多个时 的VCS仿真工具。在验证过程中采用了含错误 人分析设计的特征，找出边角功能，然后分析能 序周期的一个事件序列或者整个传输的。 指示的自核对式测试技术，在生成的．1og文件 够激活特征和边角功能的内部状态与外部输入 1．3RVM方法学 中根据是否有错误报警来判断模块设计或验证 的组合，开发测试实例。并继续模拟，在设计的 RVM验证方法学是基于分层结构的，将验 代码是否存在缺陷，免去了直接从仿真波形上 边界如输出察看是否检测了该特征。如果没有， 证平台的搭建抽象到更高层次，使得验证平台 查找错误的繁琐性。但在测试中，通过仿真波形 就回去重新开发测试实例，接着模拟检查，如此 支持随机测试、输出结果自动检测、断言验证等 来检验验证的过程及结果也是非常必要的，特 反复。主要的模拟验证技术有： 技术，大大提高了验证的效率。RVM结合了面 别是涉及到时序方面的验证时，仿真波形更显 1．2．1直接测试 向量生成 (DirectedTes