1M-1 | ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全 解シミュレーション実行処理系 ○大谷順司,廣瀬賢一,石井大輔(早大),細部博史(国立情報学研),上田和紀(早大) |
1M-2 | 組込みシステムのモデルベース・システムズエンジニアリング事例集の作成およびその評価 ○谷脇武和,庄司龍一,鈴木彰仁,本田大典,井上雅裕(芝浦工大) |
1M-3 | 上位ハードウェア記述言語Melasy+に対する仕様パターン埋め込みと展開 ○白鳥航亮,和崎克己(信州大) |
1M-4 | 上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証 ○花里貴裕,白鳥航亮,和崎克己(信州大) |
1M-5 | ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法 ○原田裕基,西原 佑,松本剛史,藤田昌宏(東大) |
1M-6 | 動作合成された束データ方式による非同期式回路とその動作仕様に対する等価性検証手法 ○田川貴聡,松本剛史,藤田昌宏(東大) |
1M-7 | SLDS機構を用いたSystemC - Verilog HDLトランスレータの開発 ○佐藤賢文,三井浩康(電機大) |
1M-8 | モデル計算機KERNEL I/Oシステムの開発 ○的野恵太,澤田 直(九産大) |
1M-9 | FPGAを搭載した倒立振子ロボットの開発 ○永野誠太郎,澤田 直(九産大) |
|