| Presentation | 1993/12/17 Automatic Microprogram Synthesis from Algebraic Specification of Hardware Takafumi Kinoshita, Tohru Naoi, Masaharu Imai, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Abstract Data Types / Semantic Unification / Microprogram / Serialization Problem / Narrowing |
| Paper # | VLD93-91 |
| Date of Issue |
| Conference Information | |
| Committee | VLD |
|---|---|
| Conference Date | 1993/12/17(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | VLSI Design Technologies (VLD) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Automatic Microprogram Synthesis from Algebraic Specification of Hardware |
| Sub Title (in English) | |
| Keyword(1) | Abstract Data Types |
| Keyword(2) | Semantic Unification |
| Keyword(3) | Microprogram |
| Keyword(4) | Serialization Problem |
| Keyword(5) | Narrowing |
| 1st Author's Name | Takafumi Kinoshita |
| 1st Author's Affiliation | Toyohashi University of Technology() |
| 2nd Author's Name | Tohru Naoi |
| 2nd Author's Affiliation | Gifu University |
| 3rd Author's Name | Masaharu Imai |
| 3rd Author's Affiliation | Toyohashi University of Technology |
| Date | 1993/12/17 |
| Paper # | VLD93-91 |
| Volume (vol) | vol.93 |
| Number (no) | 392 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |