講演名 1993/12/17
代数的仕様からのマイクロプログラム自動合成
木下 貴史, 直井 徹, 今井 正治,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) Zhu,Johnsonにより提案されたマイクロプログラム合成問題に対し,著者らが以前に提案したサブゴール生成に基づく手続きの適用範囲を拡張する.これにより,仕様の等式理論がユニタリ単一化理論である場合にのみ適用可能であったサブゴール生成式の探索手続きが,最汎意味単一化子が存在しなくても意味単一化子の最小集合が存在すれば利用可能になる.また,メモリとCPUからなるハードウェアの仕様を与え,拡張されたサブゴール生成式手続きを,この仕様のもとで要求された計算を実現するプログラムを合成する問題に適用する.
抄録(英) This paper describes the extended subgoaling procedure for automatic microprogram synthesis,based on the the Serialization Problem,which is formalized by Zhu and Johnson.While our previous subgoaling procedure was applicable only when the given equational theory is unitary unification,e.g.the minimal set of semantic unifier is always singleton(or empty),the extended procedure proposed in this paper is applicable even when the minimal set of semantic unifier is not singleton.This procedure is applicable to wider class of problems.As an example of such problems,a program synthesis under specification of a hardware with a memory is given.
キーワード(和) 抽象データ型 / 意味単一化 / マイクロプログラム / 逐次化問題 / ナローイング
キーワード(英) Abstract Data Types / Semantic Unification / Microprogram / Serialization Problem / Narrowing
資料番号 VLD93-91
発行日

研究会情報
研究会 VLD
開催期間 1993/12/17(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 VLSI Design Technologies (VLD)
本文の言語 JPN
タイトル(和) 代数的仕様からのマイクロプログラム自動合成
サブタイトル(和)
タイトル(英) Automatic Microprogram Synthesis from Algebraic Specification of Hardware
サブタイトル(和)
キーワード(1)(和/英) 抽象データ型 / Abstract Data Types
キーワード(2)(和/英) 意味単一化 / Semantic Unification
キーワード(3)(和/英) マイクロプログラム / Microprogram
キーワード(4)(和/英) 逐次化問題 / Serialization Problem
キーワード(5)(和/英) ナローイング / Narrowing
第 1 著者 氏名(和/英) 木下 貴史 / Takafumi Kinoshita
第 1 著者 所属(和/英) 豊橋技術科学大学
Toyohashi University of Technology
第 2 著者 氏名(和/英) 直井 徹 / Tohru Naoi
第 2 著者 所属(和/英) 岐阜大学
Gifu University
第 3 著者 氏名(和/英) 今井 正治 / Masaharu Imai
第 3 著者 所属(和/英) 豊橋技術科学大学
Toyohashi University of Technology
発表年月日 1993/12/17
資料番号 VLD93-91
巻番号(vol) vol.93
号番号(no) 392
ページ範囲 pp.-
ページ数 8
発行日