岡山県立大学 情報工学部 情報システム工学科 回路デザイン研究室
Circuit Design Engineering Laboratory, Faculty of Computer Science and System Engineering,Okayama Prefectural University
ブース番号
UI-06
岡山県総社市窪木111
[TEL] 0866-94-2405[FAX] 0866-94-2405
[URL] http://circuit.cse.oka-pu.ac.jp
111 Kuboki, Soja-shi, Okayama, Japan
[TEL] +81-866-94-2405 [FAX] +81-866-94-2405
[URL] http://circuit.cse.oka-pu.ac.jp
対象応用分野
スマートエネルギー オートモーティブ/交通システム
ロボティクス モバイル/クラウド
スマートヘルスケア スマートアグリ
出展の見どころ
岡山県立大学・情報工学部・情報システム工学科の回路デザイン研究室では,大規模回路の高性能化に関する研究に取り組んでいます.
現在の主な研究テーマは,
1) ノーマリオフコンピューティングに基づく低消費電力化
2) 大域非同期局所非同期設計に基づく高速化
3) IP接続関係のフォーマル検証に基づく高信頼化
の3つとなっています.

当研究室では,モデル検査手法を用いたIPコアの自動検証環境の開発に取り組んでいます.本環境では,IPコアのHDL記述を対象として,検証特性と無関係な部分に対して自動的に抽象化処理を行うことにより,検証コストの削減を行っています.また,UMLによる組込みシステムの設計ドキュメントを対象とした,設計間整合性の自動検証および修正ツールを開発しています.



【close】