首 页文档资料下载资料维修视频包年699元
请登录  |  免费注册
当前位置:精通维修下载 > 文档资料 > 家电技术 > 单元电路介绍 > 其它电路
基于模型的嵌入式C代码的实现与验证
来源:本站整理  作者:佚名  2011-12-25 08:19:12




    代码生成后还需要对其硬件接口进行修改,添加头文件和输入/输出端口等。
    c.jpg
    利用软件在环技术,工程师们能够在设计流程中尽早发现并清除错误,而非在VHDL行为测试阶段。借助基于模型设计,工程师们再也不用在流程最后阶段来测试并验证与需求的一致性。取而代之的是,他们在整个设计流程中都能进行测试和验证,既节省时间也节约了成本。
2.4 虚拟硬件在环仿真
    Proteus是英国Labcenter EleCTRonICs公司研发的多功能EDA软件,是一款集单片机和SPICE分析于一身的电路设计和仿真软件,能方便地完成单片机系统的硬件设计、软件设计、单片机源代码级调试与仿真,功能极其强大。
    修改前面生成的代码端口,在Proteus下搭建电路并利用生成的代码在Keil-C中编译,跑马灯运行正常。如图3所示,逻辑分析仪显示波形仿真结果满足设计要求。经硬件开发板验证,实验结果验证了基于模型设计的仿真系统的有效性。

d.jpg


    除经典51系列外,该方法适用于8051、DSP、ARM、FPGA等各种嵌入式芯片应用实现。Matlab支持第三方工具,可与CCs/MPLab进行无缝链接,用户可以利用Matlab脚本和Simulink模型在芯片上调试,验证自动生成的嵌入式C代码,并自动下载到目标板执行。
    代码生成后,用户可以利用Matlab中提供的工具在Model Advisor中进行模型的检查,在System Test中对模型进行测试,在Design Veri tier中进行模型覆盖度等分析,通过模型覆盖分析法确保设计缺陷尽早地被发现。MathWorks公司收购的PolySPACe已集成到Matlab平台专门用作C代码验证,进一步提高了代码的稳健性。此外还可以进行处理器在环测试验证(PIL)、代码执行追综、代码优化等,在此不作详述。

3 结论
    大量事实表明,RTW生成的代码在效率和代码可读性等方面足以与优秀的手写代码媲美。MDB代码的生成有效地减少了人为引入错误的可能,将产品的代码生成和验证过程留给计算机去自动完成,软件的一致性好,软硬件整合简单,可靠性高,大大降低解决问题的成本,代表了嵌入式代码开发的发展方向,具有很好的应用推广价值。

上一页  [1] [2] [3] 

关键词:

文章评论评论内容只代表网友观点,与本站立场无关!

   评论摘要(共 0 条,得分 0 分,平均 0 分)
Copyright © 2007-2017 down.gzweix.Com. All Rights Reserved .
页面执行时间:118,519.50000 毫秒