電子系・機械系協調設計における設計検証法に関する検討(<特集>実時間処理,組込システム及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、電子系・機械系協調設計の例として、FPGAとCPUを用いてロボットアームを制御しチェスを指すシステムを実装することを通じて、電子系・機械系の両方を含むシステムのC言語による記述法と、その検証手法を提案する。電子系・機械系の両方を含むシステムの検証のために、C言語で記述されたディジタル系の記述にアナログ・機械系モデルの記述を加える方法を述べる。そのような記述を利用することによって、C言語を対象とした検証手法を電子系・機械系を含むシステムの検証に利用することが可能になる。
- 2004-03-18
著者
関連論文
- A method of reproducing input/output error trace on high-level design for hardware debug support (ディペンダブルコンピューティング)
- TA-1-3 高位検証技術の基礎
- 「システムLSIの設計技術と設計自動化」の編集にあたって
- 算術演算回路のデバッグ支援技術
- SpecC言語に基づくシステムレベル設計手法
- LSIの設計品質はCADツールの使いこなしが決める! : CAD技術の研究開発なくして高性能LSIはない
- 問題点のまとめと1つの提案
- システムLSIの設計技術・設計支援技術(CAD技術)に関する問題点
- 設計再利用のためのIPライブラリ検索システム(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- SATアルゴリズムの最新動向