伊藤 佑治 | 中日本高速道路㈱東京支社　環境・技術管理部　博士（工学）

スポンサーリンク

概要

• 伊藤 佑治の詳細を見る
• 同名の論文著者
• 中日本高速道路㈱東京支社　環境・技術管理部　博士（工学）の論文著者

論文 | ランダム

• 一つのEFSMの複数EFSMによる実現の正しさの一証明法
• 代数的手法を用いたパイプライン方式CPUの設計検証
• 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
• 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
• パイプライン段数を考慮したASIP設計最適化の検討

もっと見る

スポンサーリンク