• 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03
    • / 9
    • 下载费用:30 金币  

    重庆时时彩后三跨技巧: 针对硬核MCU的中断控制器的仿真验证系统及方法.pdf

    关 键 词:
    针对 MCU 中断 控制器 仿真 验证 系统 方法
      专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    摘要
    申请专利号:

    CN201210489046.5

    申请日:

    2012.11.27

    公开号:

    CN103838899A

    公开日:

    2014.06.04

    当前法律状态:

    授权

    有效性:

    有权

    法律详情: 授权|||实质审查的生效IPC(主分类):G06F 17/50申请日:20121127|||公开
    IPC分类号: G06F17/50 主分类号: G06F17/50
    申请人: 上?;缂傻缏酚邢拊鹑喂?
    发明人: 唐旸; 杨宁昕; 陈磊
    地址: 201203 上海市浦东新区碧波路572弄39号
    优先权:
    专利代理机构: 上海浦一知识产权代理有限公司 31211 代理人: 戴广志
    PDF完整版下载: PDF下载
    法律状态
    申请(专利)号:

    CN201210489046.5

    授权公告号:

    ||||||

    法律状态公告日:

    2017.12.19|||2015.05.06|||2014.06.04

    法律状态类型:

    授权|||实质审查的生效|||公开

    摘要

    本发明公开了一种针对硬核MCU的中断控制器的仿真验证系统,包括:测试软件和仿真验证环境???;测试软件包括主程序和中断服务程序;主程序采用随机的方式对相关中断寄存器进行赋值,并将中断寄存器配置,中断处理信息,软件准备好信号传递给所述仿真验证环境???;中断服务程序记录中断标号与中断顺序;仿真验证环境???,采用随机方式产生中断置位信息,直接对仿真验证系统中的各中断标志位进行设置;测试软件和仿真验证环境??榕浜匣袢≈卸洗硇畔?,在一定流程控制下协同完成对中断控制器的仿真验证。本发明还公开了一种针对硬核MCU的中断控制器的仿真验证方法。本发明能提高验证效率和覆盖率,且具有很强的可复用性。

    权利要求书

    权利要求书
    1.  一种针对硬核MCU的中断控制器的仿真验证系统,其特征在于,包括:测试软件和仿真验证环境???;
    所述测试软件包括主程序和中断服务程序;所述主程序采用随机的方式对相关中断寄存器进行赋值,并将中断寄存器配置,中断处理信息,软件准备好信号传递给所述仿真验证环境???;所述中断服务程序记录中断标号与中断顺序;
    所述仿真验证环境???,采用随机方式产生中断置位信息,直接对仿真验证系统中的各中断标志位进行设置;
    所述测试软件和仿真验证环境??榕浜匣袢≈卸洗硇畔?,在一定流程控制下协同完成对中断控制器的仿真验证。

    2.  如权利要求1所述的仿真验证系统,其特征在于:待测设计DUT???,包括:MCU内核及MCU内核自带的中断控制器、外围中断控制器、ROM总线控制器、ROM程序存储器模型和RAM存储器模型;其中,ROM程序存储器模型用于存储仿真验证所需的所述测试软件,MCU内核通过ROM总线控制器访问所述测试软件,RAM存储器模型用于存放所述测试软件中使用的变量。

    3.  如权利要求1所述的仿真验证系统,其特征在于:所述仿真验证环境??椴捎肧ystem Verilog语言来搭建开发。

    4.  如权利要求1-3任一所述的仿真验证系统,其特征在于,所述仿真验证环境???,包括:
    中断产生器???,通过随机方式产生中断置位信息,直接在环境代码 中对系统中的各中断标志位进行设置;其中,中断标志位信息分为两组,一组直接输入MCU内核自带的中断控制器,另一组通过外围中断控制器处理,再将处理结果送入MCU内核自带的中断控制器中,最终将触发在所述测试软件中已由寄存器配置使能的中断;该中断产生器??榻鞔嗡婊乃婊?,即对应的随机中断标志位设置信息送入记分板???;所述记分板??榻锹枷赂鞔嗡婊闹卸媳曛疚簧柚眯畔?;
    监视???,用于抓取由主程序中特定指令定义的内核行为,获取所述测试软件向验证环境??榇莸闹卸闲畔?,并将其送入所述记分板???;
    所述记分板???,对中断产生器??椴乃婊卸媳曛疚簧柚眯畔⒑突袢〉闹卸闲畔⒔写?,以实现中断验证的结果判断和覆盖率收集。

    5.  如权利要求4所述的仿真验证系统,其特征在于:所述监视??樽ト∮芍鞒绦蛑刑囟ㄖ噶疃ㄒ宓哪诤诵形?,是指向某一特定RAM地址写数据的动作,而写入的数值既可以作为所述主程序中随机产生的各中断寄存器的配置数值,也可以是中断标号和执行顺序信息,两者皆可通过向不同RAM地址写数据的动作来区分。

    6.  如权利要求4所述的仿真验证系统,其特征在于:所述中断信息包括:各中断寄存器的配置信息以及中断的产生和执行顺序。

    7.  如权利要求4所述的仿真验证系统,其特征在于,所述记分板???,包括:
    覆盖率收集???,通过各相关中断寄存器设置信息和中断标志置位信息收集覆盖率;
    标准值推算???,在不同的中断寄存器设置和中断标志位设置下,计算标准的中断产生数据,即正常情况下中断的触发以及执行顺序;
    检查???,将经仿真得到的真实中断产生数据与标准的中断产生数据进行对比,得出判断结果,即单个测试例的仿真验证结果,结束一个随机测试例的仿真验证。

    8.  如权利要求1所述的仿真验证系统,其特征在于,所述测试软件和仿真验证环境??榱秸咴谝欢鞒炭刂葡滦瓿啥灾卸峡刂破鞯姆抡嫜橹な侵?,在测试软件对各相关中断寄存器设置完成后,由测试软件向仿真验证环境??榉⑺腿砑急负眯藕?,产生对中断标志位的随机置位信息,在所有中断服务程序执行完毕之后,由测试软件发送结束标志告知仿真验证环境???,最终给出单个测试例的验证结果。

    9.  一种针对硬核MCU的中断控制器的仿真验证方法,其特征在于,包括如下步骤:
    步骤一、测试软件开始运行后,首先进行各相关中断寄存器的设置,在随机设置好各中断寄存器的值后,向特定RAM地址写入设置的中断寄存器值,该中断寄存器设置信息将由仿真验证环境??榈募嗍幽?槭占?;
    步骤二、所述监视??榻⑺腿砑急负眯藕鸥卸喜髂??,由仿真验证环境??榈闹卸喜髂?椴婊梦恍畔?,对中断标志进行置位,并将置位信息传递给仿真验证环境??榈募欠职迥??;
    根据不同的中断寄存器设置和中断标志位置位,若触发了中断,则相应的中断服务子程序将被执行;通过在中断服务子程序里预先写入适当的 标志位,由测试软件记录下中断的触发和执行顺序;所有被触发的中断服务子程序执行结束之后,由测试软件发送结束标志告知仿真验证环境???,由监视??槔椿袢≈坝刹馐匀砑占南喙刂卸闲畔?,并送入记分板???;若中断未触发,则直接由测试软件发送结束信号,将中断未执行的信息传递给监视???,然后由监视??樗腿爰欠职迥??;
    步骤三、记分板??榻ü卸霞拇嫫魃柚眯畔⒑椭卸媳曛疚恢梦恍畔⑹占哺锹?,并计算出正常情况下中断的触发以及执行顺序,将其与经仿真得到的真实中断产生情况进行对比,得出判断结果,结束一个随机测试例的仿真。

    10.  如权利要求9所述的方法,其特征在于:通过在记分板??榍恐芃CU内核的程序计数器PC值至初始值,不断的进行该随机测试,直至覆盖率达到能接受的水平。

    说明书

    说明书针对硬核MCU的中断控制器的仿真验证系统及方法
    技术领域
    本发明涉及SOC(芯片上系统)的功能验证领域,特别是涉及一种针对硬核MCU(Micro Control Unit微控制单元)的中断控制器的仿真验证系统。本发明还涉及一种针对硬核MCU的中断控制器的仿真验证方法。
    背景技术
    中断系统是MCU的重要组成部分,实时控制、故障自动处理、与外围设备间的数据传送一般都会采用中断系统。一次完整的中断过程包括,中断源产生,中断源向MCU提出中断请求,MCU暂停现行程序而转为响应中断请求,处理中断源对应的中断服务程序,中断返回。MCU中往往包含多个中断源,通常由中断控制器负责根据中断标志和寄存器进行判断,告知MCU内核此时应当处理哪一个中断。中断控制器功能的正确与否,直接关系着MCU能否正确处理中断。因此,对中断控制器的详细验证是必不可少的。
    当前的MCU设计经常采用购买的内核与自主设计的外设进行组装,而内核可能为硬核或者加密核,这时将无法单独提取中断控制器??榻醒橹?。如果只通过人工手动撰写系统级验证测试例,会降低验证效率,且很难覆盖到大量可能发生的中断源触发情况,因而难以确保中断控制器??榈墓δ苁欠裾?。
    发明内容
    本发明要解决的技术问题是提供一种针对硬核MCU的中断控制器的仿真验证系统,能够基于随机的方式针对硬核MCU的中断控制器进行仿真验证,提高验证效率和覆盖率;为此,本发明还要提供一种针对硬核MCU的中断控制器的仿真验证方法。
    为解决上述技术问题,本发明的针对硬核MCU的中断控制器的仿真验证系统包括:测试软件和仿真验证环境???;
    所述测试软件包括主程序和中断服务程序;所述主程序采用随机的方式对相关中断寄存器进行赋值,并将中断寄存器配置,中断处理信息,软件准备好信号传递给所述仿真验证环境???;所述中断服务程序记录中断标号与中断顺序;
    所述仿真验证环境???,采用随机方式产生中断置位信息,直接对仿真验证系统中的各中断标志位进行设置;
    所述测试软件和仿真验证环境??榕浜匣袢≈卸洗硇畔?,在一定流程控制下协同完成对中断控制器的仿真验证。
    本发明的针对硬核MCU的中断控制器的仿真验证方法,包括如下步骤:
    步骤一、测试软件开始运行后,首先进行各相关中断寄存器的设置,在随机设置好各中断寄存器的值后,向特定RAM地址写入设置的中断寄存器值,该中断寄存器设置信息将由仿真验证环境??榈募嗍幽?槭占?;
    步骤二、所述监视??榻⑺腿砑急负眯藕鸥抡嫜橹せ肪衬?榈闹卸喜髂??,由中断产生器??椴婊梦恍畔?,对中断标志进行 置位,并将置位信息传递给仿真验证环境??榈募欠职迥??;
    根据不同的中断寄存器设置和中断标志位置位,若触发了中断,则相应的中断服务子程序将被执行;通过在中断服务子程序里预先写入适当的标志位,由测试软件记录下中断的触发和执行顺序;所有被触发的中断服务子程序执行结束之后,由测试软件发送结束标志告知仿真验证环境???,由监视??槔椿袢≈坝刹馐匀砑占南喙刂卸闲畔?,并送入记分板???;若中断未触发,则直接由测试软件发送结束信号,将中断未执行的信息传递给监视???,然后由监视??樗腿爰欠职迥??;
    步骤三、记分板??榻ü卸霞拇嫫魃柚眯畔⒑椭卸媳曛疚恢梦恍畔⑹占哺锹?,并计算出正常情况下中断的触发以及执行顺序,将其与经仿真得到的真实中断产生情况进行对比,得出判断结果,结束一个随机测试例的仿真。
    本发明针对硬核MCU的中断控制器难以进行全面验证的困难,提取整个MCU中与中断相关的电路部分(包括MCU内核,外围中断控制器,ROM程序存储器模型,RAM存储器模型,ROM总线控制器等),运用测试软件和仿真验证环境??樾婊姆绞蕉灾卸峡刂破鹘醒橹?。随机性的引入将大大提升仿真验证中对不同中断发生处理情况的覆盖率,且这样的仿真验证具有很强的可复用性,适用于大部分硬核MCU的中断控制器的仿真验证,能极大提高验证效率和覆盖率,增强设计的信心。
    附图说明
    下面结合附图与具体实施方式对本发明作进一步详细的说明:
    图1是所述针对硬核MCU的中断控制器的仿真验证系统架构图;
    图2是图1所示仿真验证系统的验证流程图。
    具体实施方式
    在硬核MCU的实际应用中,中断的产生情况是纷繁多样的,人工撰写中断测试例通常仅能针对特殊应用对中断寄存器进行配置,进而在一定条件下触发中断,这会导致仿真验证上大量可能状况的遗漏。本发明采用随机方式对中断控制器进行仿真验证,可减少人工撰写测试例的工作量,高效的提升仿真验证的覆盖范围,因此是十分有必要的。
    所述随机包括软测试件中对各相关中断寄存器的随机设置;硬核MCU中断标志位的随机设置。
    参见图1所示,在一实施例中,所述针对硬核MCU的中断控制器的仿真验证系统,包括:DUT(Design Under Test:待测设计)??椋ㄍ?中虚线框内所包括的部分),测试软件和仿真验证环境???。
    为验证硬核MCU的中断控制器,DUT??樾枰ㄕ鯩CU中与中断相关的电路设计部分,在本实施例中包括:MCU内核及MCU内核自带的中断控制器(即图1中的内部中断控制器,该“内部中断控制器”就是要进行仿真验证的中断控制器)、外围中断控制器、ROM总线控制器和ROM程序存储器模型、RAM存储器模型(ROM/RAM都只是行为级模型);其中,ROM程序存储器模型用于存储仿真验证所需的测试软件,MCU内核通过ROM总线控制器访问所述测试软件,RAM存储器模型用于存放所述测试软件中使用的变量。
    所述测试软件包括主程序和中断服务程序。
    所述主程序采用随机的方式对相关中断寄存器进行赋值(或称设置),并将中断寄存器配置,中断处理信息,软件准备好信号传递给所述仿真验证环境???,等待所有服务程序执行结束,发送中断处理信息,发送测试软件处理结束信号。
    所述中断服务程序包括n个中断服务子程序,每个中断服务子程序包括中断标号记录,中断顺序记录等。
    所述仿真验证环境??榘ㄖ卸喜髂??,监视??楹图欠职迥??;可以采用System Verilog语言来搭建开发。
    所述中断产生器???,通过随机方式产生中断置位信息,直接在环境代码中对系统中的各中断标志位进行设置(可使用System Verilog语言中的force语句),其中,中断标志位信息可分为两组,一组直接输入MCU内核自带的中断控制器(即图1中的中断标志位组2);另一组通过外围中断控制器处理,再将处理结果输入到MCU的内部中断控制器中(即图1中的中断标志位组1),最终触发在测试软件中已由寄存器配置使能的中断。该中断产生器??榻迅鞔嗡婊乃婊?,即对应的随机中断标志位设置信息送入所述记分板???;所述记分板??榻锹枷赂鞔嗡婊闹卸媳曛疚簧柚眯畔⑿畔?。
    所述监视???,用于抓取由主程序中特定指令定义的内核行为,如向某一特定RAM地址写数据的动作,而写入的数值可以作为所述测试软件的主程序中随机产生的各中断寄存器的配置数值,也是中断服务程序内当前 执行的中断标号,两者皆可通过向不同RAM地址写数据的动作来区分。由此,该监视??榭梢曰袢∷霾馐匀砑蜓橹せ肪衬?榇莸闹卸闲畔?,这些中断信息最终将一并送入所述记分板???。所述中断信息包括各中断寄存器的配置信息以及中断的产生和执行顺序等。
    所述记分板???,对中断产生器??椴乃婊卸媳曛疚簧柚眯畔⒑突袢〉闹卸闲畔⒔写?,以实现中断验证的结果判断和覆盖率收集。为实现该目的,所述记分板??榘ǎ?
    覆盖率收集???,通过各相关中断寄存器设置信息和中断标志置位信息收集覆盖率。
    标准值推算???,在不同的中断寄存器设置(主要包括优先级和使能)和中断标志位设置下,计算标准的中断产生数据,即正常情况下中断的触发以及执行顺序。
    检查???,将经仿真得到的真实中断产生数据与标准的中断产生数据进行对比,得出判断结果,即单个测试例的仿真验证结果,结束一个随机测试例的仿真验证。
    所述推算??楹图觳槟?榇颖局噬侠此刀际怯星畹淖楹下呒问?,通过撰写处理任务(task)或函数(fucntion)可以实现;而覆盖率收集??樵蚩梢灾苯油ü芍卸喜髂?楹图嗍幽?樗腿氲氖萜唇映梢淮?,1序列来进行表征。对于每一个待验证的硬核MCU的中断控制器,这个序列都将会是定长的,假定为n,此时将会有2n种可能情况,故只需要将已经覆盖到的情况数除以2n即可得到测试的覆盖率。由此可以看出覆盖率的计 算也是十分简便可行的。
    结合图2所示,所述针对硬核MCU的中断控制器的验证系统的整个仿真验证过程将按如下流程进行:
    所述测试软件开始运行后,首先进行各相关中断寄存器的设置,一般情况下,包括使能寄存器,优先级寄存器等。在随机设置好各中断寄存器的值后,向特定RAM地址写入设置的中断寄存器值,该中断寄存器设置信息将由监视??槭占?。
    之后,监视??榻⑺腿砑急负茫╮eady)信号给中断产生器???,由中断产生器??椴婊梦恍畔?,对中断标志进行置位,并将置位信息传递给所述记分板???。根据不同的中断寄存器设置和中断标志位置位,可能触发中断,如随机产生的使能寄存器置位且相应的中断标志位也置位;但也可能不触发中断,如随机产生的使能寄存器或中断标志位均未置位。若触发了中断,则相应的中断服务子程序将被执行;通过在中断服务子程序里预先写入适当的标志位,由测试软件记录下中断的触发和执行顺序情况;所有被触发的中断服务子程序执行结束之后,由测试软件发送结束标志告知仿真验证环境???,由监视??槔椿袢≈坝刹馐匀砑占南喙刂卸闲畔?,并送入记分板???;若中断未触发,则直接由测试软件发送结束信号,将中断未执行的信息传递给监视???,然后由监视??樗腿爰欠职迥??。
    最后,记分板??榻ü卸霞拇嫫魃柚眯畔⒑椭卸媳曛疚恢梦恍畔⑹占哺锹?,并计算出正常情况下中断的触发以及执行顺序,将其与经仿 真得到的真实中断产生情况进行对比,得出判断结果,结束一个随机测试例的仿真。通过在记分板??榍恐疲墒褂胒orce语句)MCU内核的PC(程序计数器)值至初始值,可以不断的进行该随机测试,直至覆盖率达到可接受的水平。
    所有硬核MCU产品几乎都会包含中断控制器,因而对中断控制器的全面仿真验证在仿真验证环节是不可或缺的。由上面所述也可以看出,所述仿真验证环境??榈拇罱ê筒馐匀砑谋喑潭季哂辛己玫目筛从眯?,可以适用于大部分的硬核MCU的中断控制器的仿真验证。
    以上通过具体实施例对本发明进行了详细的描述说明,但这些并非构成对本发明的限制。在不脱离本发明原理的情况下,本领域的技术人员还可以做出许多改进和变形,这些均视为本发明的?;し段?。

    关于本文
    本文标题:针对硬核MCU的中断控制器的仿真验证系统及方法.pdf
    链接地址://www.4mum.com.cn/p-6147448.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

    [email protected] 2017-2018 www.4mum.com.cn网站版权所有
    经营许可证编号:粤ICP备17046363号-1 
     


    收起
    展开
  • 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03
  • 玩分分彩怎样才能稳赚 夺宝阁计划网址 竞彩二串一稳赚技巧2018 冠亚大小 飞艇全天大小计划免费 大乐透数字范围 新时时彩稳赚qq群 三中三稳赚方法技巧 11选5直选二稳赚技巧 怎么研究时时彩的独胆 双色球2019090期开奖号 重庆时时网址合买 分分快3大小稳赚技巧 pk10怎样分析走势分析 后二组选复式计算公式 北京pk10计划软件网站