研究分担者 |
杉山 裕二 岡山大学, 工学部, 教授 (50116050)
岡野 浩三 大阪大学, 基礎工学部, 助手 (70252632)
北道 淳司 大阪大学, 基礎工学部, 助手 (20234271)
松浦 敏夫 大阪大学, 情報処理教育センター, 助教授 (40127296)
東野 輝夫 大阪大学, 基礎工学部, 助教授 (80173144)
|
研究概要 |
昨年度より引き続き順序回路設計支援システムの設計開発を行い,提案する設計法および支援システムの評価を行った. 1.SFLへの変換ルーチンの作成:論理設計レベルの回路記述から,その記述と等価なSFL記述への自動変換ルーチンを作成した.NTTが開発したパルテノンシステムを用いて,本ルーチンにより得られたSFL記述から実際の回路図を生成することができる.また,回路の性能評価を行える. 2.ヒューマンインタフェイスの改善:設計及び検証の作業を容易化するために,検証支援系,状態図変形ルーチン,記述支援系のユーザインタフェイスを改善した.例えば,状態遷移図を図的に表示し,その上で操作,入力を行えるようにした. 3.状態図変形ルーチンの拡充:昨年度作成した回路性能向上のための状態図変形機能を拡充し,変形機能の適用条件の判定(不変式のチェック等)を検証支援系を用いて行えるようにした.これにより,変形の適用範囲が広くなり,より効率の良い回路が得られるようになった. 4.評価:CPU,ソ-ト回路などの例題を用いて作成した支援システムの評価を行った.作成した支援システムを用いて各回路の段階的設計及び検証を実際に行い,設計や検証に要した作業時間などのデータを収集,整理した.それらの結果についていくつか研究報告(Proc.Theormen Provers in Circuits Design′94,回路とシステム軽井沢ワークショップ′95,など)を行うと共に,支援システムの外部仕様やマニュアル類の作成を行った.
|