基于UVM的Arinc-429协议验证方法.pdf

2 NI1．2 2()I7}‘I』J ．JalII川’v，20l7 基于UVM的Arinc-429协议验证方法 王 新，徐 炀 ，张少华 (I勃京赛宝工业技术研 究院，江苏 南京 2l0000) 摘要：文章采用UVM通用验证方法学搭建验证平台，以 、ri．c一429协议为验证对象，重点分析了基于 U、M的Ar_l1I-一429验证平台设计 ；通过LJVM验证平台能够产生随机约束的激励信号 ，对Arin~一·429协 议进行迎全面的验证 结果表明，基于 【1VM的验证平台可以实现Arinc一429协议 的验证 ，并具有良好 的可配置性和可复用性 ． 关键词：【jVM验证平台；Ai，il一429：随机激励 0 引言 用 】：数据发送 ，负责验 台 卜j做f~!gPF(t )之川的通 ． Iim--429总线 议fIt天 航空 电子 I 委 信，川 暂洲 数据封装成dut所需 (t9ft．~序‘数扔， 据 会(Air， Iqngine~IIgComnfitt~)提 ¨1，广泛 川 J 需 ‘fi9特定传输协议进行传输 IIlc l 』IIJ数抛采 圯进 的 【航 饥及部9：4-：』1t 饥1- 陔总线结构简 集 ，为 特定 议采 数 传输数 OIe·— 、 rt-：fiE稳定，抗 f扰 曲， 采J}j 向传输 、蚁极， boanI；s‘·(ireb~)al一(1 于比埘 ．将nionilol·采 的输… JlI零的 怠 式‘， 仃 ■『低速I^Ij档 Tf1状念 ， 数据 j输入给dui的数掘进i比刈，削断验iil17。。 的Jj l(iL¨ll{i 川 J验 数 j，： 射}电路 的正确悱 ，以捉 确 ；se(itlell( ·为扁动 qilt!ll( 传输seqLIt(个 卜的 I西验 效 数据 、(III e，：生受约 的随机数据，该数 d／itr~ 1 UVM验证平台 要的符种 c义帧等 ；agent为封装tIriver ltII1I 一 uVM验 平 仃 的通朋性和扩J性 ，足 quei¨，IIl10l1-II)r图 1lIl没汁 2个 ．1一iSt…l，分圳为 f¨一系列llJ弧‘J}It／Oll1件搭 成 ，这些组什 r使 in agenI和1otllagent；inl P·为验证平台 々洲模块 — — 川1，便 ．卜继，j乏．扩腱 强 VM验证平 台的 什足一 (dui)连接的部分．refelI1(model为设计的签弓‘}，实 类 ，j发 炎足建立 st(Ⅲwel，ilog平 台 I的 ·些 现干¨dill十}l的功能，川术L-gX、jd‘ul功能实州的it!确性 ， 它提供 r -系列的接 J『，通过接 口调用 数米 验证甲 之 数据传输果川书务级(lIM)传输方式，i 进行业力他‘的验