计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
12期
42-44
,共3页
需求驱动%模型映射%协同验证
需求驅動%模型映射%協同驗證
수구구동%모형영사%협동험증
针对嵌入式系统设计中缺乏高层设计环境,系统规范描述依赖于具体模型等特点,提出了需求驱动的嵌入式系统中的软硬件协同设计方法,研究了从DCDM到SystemC的模型映射技术,开发了模型转换编译工具,并自动生成设计的可执行SystemC程序代码,进行分层验证.最后介绍了一个应用实例.
針對嵌入式繫統設計中缺乏高層設計環境,繫統規範描述依賴于具體模型等特點,提齣瞭需求驅動的嵌入式繫統中的軟硬件協同設計方法,研究瞭從DCDM到SystemC的模型映射技術,開髮瞭模型轉換編譯工具,併自動生成設計的可執行SystemC程序代碼,進行分層驗證.最後介紹瞭一箇應用實例.
침대감입식계통설계중결핍고층설계배경,계통규범묘술의뢰우구체모형등특점,제출료수구구동적감입식계통중적연경건협동설계방법,연구료종DCDM도SystemC적모형영사기술,개발료모형전환편역공구,병자동생성설계적가집행SystemC정서대마,진행분층험증.최후개소료일개응용실례.
