システム・レベル設計/検証ソリューション・ガイド2011
tag: 組み込み
2010年12月21日
現在,組み込みシステムの開発では,ハードウェア,ソフトウェア,およびその両方にまたがるシステム的な不具合,あるいは仕様のモレ,ヌケなどの早期発見が求められます.そのため,要求仕様のチェックやシステム・レベルの評価・検証,ハードウェア・ソフトウェア協調検証などの考え方がとても重要になってきています.
ハードウェア(FPGA やSoC)の開発では,機能設計の工程でC 言語ベースの設計・検証手法が導入されており,アルゴリズム(プログラム記述)をハードウェア化する際には,MATLAB/Simulink や高位合成(ビヘイビア合成)ツールも使われるようになっています.一方,ソフトウェアの上流設計では,UML ツールや形式検証ツールによって要求仕様や設計をチェックする方向へ向かっています.これらハードウェアとソフトウェアの開発工程に一貫性・整合性を持たせ,システム全体の開発効率を引き上げる取り組みも始まっています.
そこで,本企画では,組み込みシステムのハードウェアとソフトウェアを対象とする「システム・レベル設計/検証ソリューション」に焦点を当て,ツールや開発手法を具体的に紹介していきます.
--------------------------------------------------------------------------------
■システムレベル設計と高位合成
――日本シノプシス合同会社 ソリューションズグループ ルーウィ ヴァレニャ
■MATLABとC言語ベース高位合成の適用事例
――テクニカルライター/ アナリスト 福田 昭
■画像IPを活用し画像処理システムをハード化するC言語ベース設計手法
――萩原電気(株)デバイス技術本部 第一技術部 川端浩揮
■高位合成ツールによるC言語ベース設計の状況
――図研エルミック(株) 武田 太豪 鎌野 昇一 三宅 信之
■ANSI-C言語によるハード/FPGA設計and/or協調設計ツール 「ImpulseC/CoDeveloper」
――(有)インターリンク
■ハードウェア高位設計統合開発環境 「NSL Overture」
――オーバートーン(株)
■インテル+FPGAシステム開発キット 「FrantioTM IF1(フランティオIF1)」
――オムロン(株)
■C言語ハードウェア設計ツール 「eXCite」
――(株)ソリトンシステムズ
■SimulinkモデルおよびMATALBコードからHDLコードを生成 「Simulink HDL Coder」
――MathWorks Japan
■Synphony C Compiler
――日本シノプシス合同会社