研究概要 |
コンピュータの超高速化, 高機能化にともなって集積回路が超微細化加工されるに従い, 従来のクロックによる同期式システムの考えだけでは正しい動作が保障されないため, 要求/応答制御信号を用いた非同期システムが注目されている. 本研究では, 相対遅延モデルを提案し, これに基づく非同期システムやパイプラインシステムを設計し, これらをFPGA上に実装し, 評価を行うものである. 研究の途中で, D-素子や2線論理実装ライブラリ, また, 非同期システムの検証手法, 時相論理の新しい体系などを提案している.
|