当前位置:首页 > 产品中心 > MCU芯片

欧宝ob官网:基于VMM验证手法学的MCU验证处境

 发布时间:2022-03-30 06:12:14 来源:OB欧宝体育 作者:ob欧宝体育pp下载

  跟着策画的杂乱水平陆续加添,央浼把更多的资源放到验证上,不光央浼验证可能遮盖全豹的功效,还欲望可能给出大批的十分环境来查验DUT对应十分的管束状况,这正在古代测试措施下往往是难以完成的。另表,策画陆续地重用,而验证也欲望可能重用雷同的验证模块,这就催生了主意化的验证措施。 Synopsys的的验证措施,征求了有抑造的随机数天生,主意化的验证组织,以及以功效遮盖率为目标的验证流程。正在本文中,缠绕Synopsys的(Verification Methodology Manual)修筑了一个MCU验证境况。

  正在这个境况中验证了一个8位MCU,该CPU时钟周期即为指令周期,兼容MCU指令集,包蕴8位的运算逻辑单位,包蕴了ACC、B、PSW等常用的寄存器,4组R0-R7的R寄存器,声援直接,间接寻址,声援位操作,跳转指令可认为8位有符号相对所在跳转或者11位,16位无符号绝对所在跳转。

  4个优先级12个断绝,断绝征求表部输入断绝,以及串口和计数器等的内部断绝,15位可编程Watchdog,别的包蕴步调ROM接口,表部RAM接口,内部RAM以及SFR接口。MCU自身并不包蕴memory,全豹的ROM以及RAM都是通过表部接话柄行通讯,这里正在VMM境况里完成了行径级的 memory model,来保留步调代码和数据。以下是MCU的扼要模块框图。

  这个MCU也是正在原有根本上改良了指令周期,删除了大局限指令实践所需的指令周期。由于局限指令所需求的指令周期的缩短,良多原有采样和赋值时期相应发作较大转化,正在功效验证的根本上,需求眷注是否所以对下一条指令发生影响,特地是断绝和局限指令同时发作时的极少非常环境。

  MCU的指令实践都邑通过读写RAM memory来完成,别的全豹的表设都邑通过装备SFR memory来启动相应功效,并会对相应的SFR置位来显示表设的使命结果或是状况,这里RAM memory和SFR memory实质即是需求眷注的检测点,只须保障RAM memory以及SFR memory实质的准确,就可能验证MCU的全豹功效准确。

  基于VMM的MCU验证就需求充塞运用VMM的特性,即为有抑造的随机数天生、主动数据对照查验,和功效遮盖率收罗。

  古代的MCU验证,需求写汇编代码,注入MCU步调ROM实行仿真,汇编代码的质料和遮盖率是影响验证的要紧身分。除了可能将利用步调行动 TestCase,只可依据验证方针编写对应的TestCase。云云的TestCase属于Direct TestCase,只可遮盖一局限功效,越发是MCU有指令组合的环境,以及除了ALU单位的表设单位,当表设单位与内部指令并行使命,Direct TestCase往往是不行知足央浼的。这里,VMM供应了有抑造的随机数天生,可能将MCU指令集实行分类,将统一格局的指令归为一类,云云可能通过必然的抑造随机的天生指令以及指令所需的参数,不才一节的指令类中会详明批注合于指令的分类与天生。指令天生后,完成了一个汇编器,这个汇编器是由C代码完成的,通过DPI将MCU的C模子接入验证境况中,云云天生的汇编指令可能及时转化为16进造代码,而且直接读入MCU的ROM实行仿真。随机指令天生,可能增添俭约人力,而且给出尤其非常的TestCase,另表还可能对易错的环境增添分表的抑造,让边际环境测试几率更大,从而做到更多的验证。

  写汇编代码,读入步调ROM,通过仿真来观测结果,结果的准确性通过波形巡视,这种验证措施测试数目比力有限,只可正在人力限造规模内实行验证,不适合于递归以及大批TestCase的验证。另表,正在以往的MCU验证中,一朝发作功效舛误,真正的错晚点有能够是多个指令之前,需求往前查找波形,往往 debug时刻查找题目源会亏损大批时期,以至有些深主意的题目由于不属于验证方针,或者不正在观测点内,往往会被马虎。正在境况里,一经引入的随机的指令天生,这就需求一个参照模子可能天生对应的参照结果。这里完成一个用C讲话描绘的MCU参照模子,同样通过DPI将MCU的C模子接入验证境况中,这个模子以16进造代码行动输入,可能正在每一条指令实践写出一个参照结果。MCU的都是通过RAM保留数据,SFR寄存器来保留状况,可能通过对照memory中的数据,来保障MCU的每一条指令的使命状况都是和参考模子是相仿的。并且每次增添TestCase后都不需求观测波形或是天生参照结果,以至可能直接将利用步调放入境况中加以测试。正在境况里通过C参考模子写出的每一条指令后的状况会保留下来,由ScoreBoard来读入,境况可能读出MCU实践步调 ROM后RAM和SFR的值并通报给ScoreBoar。

上一篇:掌握MCU SPI接口以访谒非圭表SPI ADC 下一篇:NS32F103C8T6可代替STM32F103C8T6 MCU简介

  快速链接

OB欧宝体育 新闻中心 支持与服务

  下载

开发工具 技术文档

  公司

招贤纳士 ob欧宝体育pp下载

  欧宝ob官网

简体中文 English
Copyright © by Vango 欧宝ob官网_OB欧宝体育pp下载 浙ICP备12042626号