電子系·機械系協調設計における設計検証法に関する検討

摘要

本稿では、電子系·機械系協調設計の例として、FPGAとCPUを用いてロボットアームを制御しチェスを指すシステムを実装することを通じて、電子系·機械系の両方を含むシステムのC言語による記述法と、その検証手法を提案する。 電子系·機械系の両方を含むシステムの検証のために、C言語で記述されたディジ夕ル系の記述にアナログ·機械系モデルの記述を加える方法を述べる。 そのような記述を利用することによって、C言語を対象とした検証手法を電子系·機械系を含むシステムの検証に利用することが可能になる。