特集 共生する神・人・仏--日本とフランスの学術交流

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 代数的手法を用いたパイプライン方式CPUの設計検証
• 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
• 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
• パイプライン段数を考慮したASIP設計最適化の検討
• VHDLで記述されたシステム仕様のプロセスレベルでのHW/SW分割の一手法

もっと見る

スポンサーリンク