新聞中心

EEPW首頁 > 嵌入式系統(tǒng) > 設計應用 > 基于模型的嵌入式C代碼的實現(xiàn)與驗證

基于模型的嵌入式C代碼的實現(xiàn)與驗證

作者: 時間:2011-12-22 來源:網絡 收藏

生成后還需要對其硬件接口進行修改,添加頭文件和輸入/輸出端口等。
c.jpg
利用軟件在環(huán)技術,工程師們能夠在設計流程中盡早發(fā)現(xiàn)并清除錯誤,而非在VHDL行為測試階段。借助設計,工程師們再也不用在流程最后階段來測試并與需求的一致性。取而代之的是,他們在整個設計流程中都能進行測試和,既節(jié)省時間也節(jié)約了成本。
2.4 虛擬硬件在環(huán)仿真
Proteus是英國Labcenter Electronics公司研發(fā)的多功能EDA軟件,是一款集單片機和SPICE分析于一身的電路設計和仿真軟件,能方便地完成單片機系統(tǒng)的硬件設計、軟件設計、單片機源級調試與仿真,功能極其強大。
修改前面生成的端口,在Proteus下搭建電路并利用生成的代碼在Keil-C中編譯,跑馬燈運行正常。如圖3所示,邏輯分析儀顯示波形仿真結果滿足設計要求。經硬件開發(fā)板,實驗結果驗證了設計的仿真系統(tǒng)的有效性。

本文引用地址:http://m.butianyuan.cn/article/149948.htm

d.jpg


除經典51系列外,該方法適用于8051、DSP、ARM、FPGA等各種芯片應用。Matlab支持第三方工具,可與ccs/MPLab進行無縫鏈接,用戶可以利用Matlab腳本和Simulink在芯片上調試,驗證自動生成的C代碼,并自動下載到目標板執(zhí)行。
代碼生成后,用戶可以利用Matlab中提供的工具在Model Advisor中進行模型的檢查,在System Test中對模型進行測試,在Design Veri tier中進行模型覆蓋度等分析,通過模型覆蓋分析法確保設計缺陷盡早地被發(fā)現(xiàn)。MathWorks公司收購的PolySpace已集成到Matlab平臺專門用作C代碼驗證,進一步提高了代碼的穩(wěn)健性。此外還可以進行處理器在環(huán)測試驗證(PIL)、代碼執(zhí)行追綜、代碼優(yōu)化等,在此不作詳述。

3 結論
大量事實表明,RTW生成的代碼在效率和代碼可讀性等方面足以與優(yōu)秀的手寫代碼媲美。MDB代碼的生成有效地減少了人為引入錯誤的可能,將產品的代碼生成和驗證過程留給計算機去自動完成,軟件的一致性好,軟硬件整合簡單,可靠性高,大大降低解決問題的成本,代表了代碼開發(fā)的發(fā)展方向,具有很好的應用推廣價值。

linux操作系統(tǒng)文章專題:linux操作系統(tǒng)詳解(linux不再難懂)

上一頁 1 2 3 下一頁

評論


相關推薦

技術專區(qū)

關閉