代数的仕様からのマイクロプログラム自動合成
スポンサーリンク
概要
- 論文の詳細を見る
Zhu,Johnsonにより提案されたマイクロプログラム合成問題に対し,著者らが以前に提案したサブゴール生成に基づく手続きの適用範囲を拡張する.これにより,仕様の等式理論がユニタリ単一化理論である場合にのみ適用可能であったサブゴール生成式の探索手続きが,最汎意味単一化子が存在しなくても意味単一化子の最小集合が存在すれば利用可能になる.また,メモリとCPUからなるハードウェアの仕様を与え,拡張されたサブゴール生成式手続きを,この仕様のもとで要求された計算を実現するプログラムを合成する問題に適用する.
- 社団法人電子情報通信学会の論文
- 1993-12-17
著者
関連論文
- 豊橋技術科学大学における集積回路設計教育について
- VHDLを用いた論理回路の消費電力見積り方法の提案 : 32ビットアダー回路の消費電力についての考察
- 組込みプロセッサの命令セット拡張に適したソフトウェア開発ツール生成手法(システム設計・高位論理設計,システムオンシリコンを支える設計技術)
- カプセル型体内圧力測定システムのための小型低消費電力プロセッサへの通信誤り訂正方式の実装(システム設計と最適化II,システム設計及び一般)
- ASIP設計用ワークベンチPEAS-IIIの実現方法についての考察 : CPUアーキテクチャの分類とパラメタ化
- ASIP設計用ワークベンチPEAS-IIIの実現方法についての考察 : CPUアーキテクチャの分類とパラメタ化
- ASIP設計用コデザイン・ワークベンチPEAS-IIIの提案
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 組込み装置向きプログラミング言語EBIFRY : 簡便さと安定性の両立のために
- 組み込み装置向きオブジェクト指向言語 FORCE-TALK
- 制御ソフトウェアの開発方法論 : 制御理論と計算機科学の横断的設計アプローチ
- シリコンコンパイレーションの現状と将来の展望(アトミックルールプロセス)
- 特異値分解(SVD)とHaar変換を用いたクロッピング耐性の高い電子透かし手法
- 並行性を伴うオブジェクト指向プログラムの階層的カラーぺトリネットによるモデル化
- リアルタイムOSのハードウェア化
- 仮想プロセッサ機構を持つSIMD型超並列計算機RIPE/MDのアーキテクチャ
- 仮想プロセッサ機構を持つSIMD型超並列計算機RIPE/MDのアーキテクチャ
- SA-3-2 ハードウェア/ソフトウェア協調設計システムPEAS-Iの現状(SA-3. ハードウェア/ソフトウェア・コデザイン,シンポジウム)
- ASIP向きハードウェア/ソフトウェア・コデザインシステムPEAS-Iにおけるハードウェア生成手法
- 組合せ問題の並列アルゴリズム(パラレル・アルゴリズム)
- 超LSI設計支援システム(5) : オンラインDRC
- リアルタイムOSのVLSI化とその評価
- シリコンTRONの実現とその評価
- リアルタイムOSのハードウェア化とその評価
- リアルタイムOSのハードウェア化とその評価
- 最汎E単一化子を用いたマイクロプログラム合成手続き
- サブゴールの生成に基づくマイクロプログラム合成手続きの拡張
- 代数的仕様からのマイクロプログラム自動合成
- 代数的仕様からのマイクロプログラム自動合成
- E同一化を用いたマイクロプログラム自動合成手続き
- 負傷者・医療者間人体通信を用いる電子トリアージ・システム
- 負傷者・医療者間人体通信を用いる電子トリアージ・システム
- DVSを用いたマルチプロセッサ・システムのための低消費電力量タスク割当て手法
- DVSを用いたマルチプロセッサ・システムのための低消費電力量タスク割当て手法
- 自動生成を目的としたVLIW CPUのアーキテクテャに関する検討
- 拡張HCPチャートを用いたハードウェア設計支援手法の提案
- 多次元データ処理用SIMD型並列計算機のアーキテクチャ
- 試作結果に基づく高速画像処理用並列計算機RIPEの性能評価
- APP-067 ユビキタス総合排尿機能診断機器の開発(総会賞応募ポスター,第99回日本泌尿器科学会総会)
- ASIP向きハードウェア/ソフトウェア・コデザインシステムPEAS-Iにおけるデータパス部の最適化手法
- ASIP向きハードウェア/ソフトウェア・コデザインシステム : PEAS-Iにおけるデータパス部の最適化手法
- プラグイン方式に基づくBinutilsおよびGDBの自動リターゲッティング(コンパイラと設計,FPGA応用及び一般)
- プラグイン方式に基づくBinutilsおよびGDBの自動リターゲッティング(コンパイラと設計,FPGA応用及び一般)
- プラグイン方式に基づくBinutilsおよびGDBの自動リターゲッティング(コンパイラと設計,FPGA応用及び一般)
- ASIP向きハードウェア/ソフトウェア・コデザインシステム : PEAS-Iにおけるハードウェア生成手法
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- FPGAの現状と技術動向
- 高速画像処理用並列計算機RIPEの計算精度と処理時間に関する評価
- 特定用途向きマイクロプロセッサ開発システム(2) : コンパイラ・ジェネレータの実現方法
- 特定用途向きマイクロプロセッサ開発システム(1) : システムの概要
- 特定用途向きCPUコアの自動合成法に関する一考察
- 超高速画像処理システムRIPEの性能評価
- 超高速画像処理システムRIPEのアーキテクチャ
- 第1回ASICデザイン・コンテスト
- 抽象度を変更可能な命令セットシミュレータの提案
- 抽象度を変更可能な命令セットシミュレータの提案
- PARTHENONを用いた計算機アーキテクチャ教育
- CT-3-3 医療・ヘルスケア用生体情報センシング・システムでの無線通信の高信頼度化と低消費電力化(CT-3.超低消費電力LSIにより広がる新しい応用,チュートリアルセッション,ソサイエティ企画)
- 医療・ヘルスケア応用のための生体情報センシング・システム : 信頼性向上とエネルギー削減手法
- 拡大ハミング符号の処理に適した命令セットアーキテクチャ(VLSI設計技術とCAD)