面向接口协议验的激励生成技术的研究.pdfVIP

面向：陵口协议验证的激励生成技术的研究 ．I：毒置丑 捅 斐 随着半导体技术的发展，集成电路设计技术目益复杂，基于总线协议的设计方法成 为一种主流的设计方法。一方面，基于总线的设计方法通过把设计划分为若干个子模块， 可以提高设计的并行性和可移植性；但是另一方面，基于总线协议的设计也给硬件验证 系统功能验证带来新的挑战。如何实现总线协议的功能验证，确保设计的正确性，已经 成为系统开发的瓶颈。本文对列车通信网络控制器的设计和总线接口协议的功能验证技 术进行了深入的探讨。 线的姗网卡和WTB网关连接设计。重点研究了总线接口协议的验证技术，提出了 基于Ⅻ西SM的激励生成技术、偏置方法和断言技术。NEFSM抽象数学模型可以精确 地描述总线接口协议，非常适合对接口协议激励生成器建模。偏置技术使验证工程师对 验证流程有更好地可控性，通过调整偏置参数设置很容易完成对验证模块边角情况的覆 盖。断言则可以方便的检测设计中的时序特性，提高验证工作的可靠性。 最后，基于、伥心压验证方法学，在所提供的标准类库基础上搭建基于NEFSM验证 方法的接口协议验证环境，探索应用DPI编程接口将本文所提出的基于NEFSM激励生 口的验证数据与传统验证平台进行比较，实验结果无论是在生成激励的质量上还是在验 证的收敛速率上，基于NEFsM验证方法的接口协议验证技术都具有优越性。 关键词：总线接口协议；VMM验证方法学；NEFSM；偏置技术；断言 Abstract witht}le ofsemiconductor 刖ong deVelopment circuitdes teclHlolo踽theinte铲ated l口 is onthemethodofthebus teclul0109yincreasin91y becomj a complex，based agreement mainstream method．Onone onme memodofthebusdivides design hand，based medesI吼 intoseveral methodcan and modu】：es，this improVeparallelism ontheot=ler portability．But wimbus makesthe halld，the hardware向nctional design veri6cat。on a伊eement syStem new torealizethe向nctionverificationofthe facing bus lre challenges．How a酉eement，ens thecorrectnessof也e