A Procedure for Automatic Microprogram Synthesis Using E-Unification.
Saved in:
| Title: | A Procedure for Automatic Microprogram Synthesis Using E-Unification. |
|---|---|
| Authors: | Kinoshita, Takafumi1, Imai, Masaharu1, Naoi, Tohru2 |
| Source: | Systems & Computers in Japan. 12/1/94, Vol. 25 Issue 14, p1-11. 11p. |
| Subjects: | Microprogramming, Abstract data types (Computer science), Computer programming, Programming languages, Computer systems, Computer science |
| Abstract: | Zhu and Johnson have proposed a method of specification description description for hardware architecture. The method is based on the motion of abstract data types, and in this framework, the problem of automatic synthesis of microprogram as the serialization problem has been forementioned. This paper proposes a semidecision procedure for the forementioned problem which uses E-unification to prune the search space of solutions. Also, as an execution example of the procedure, a specification description of a simple CPU with basic components and an example of the problem under this specification are treated, and its performance is discussed. It is shown through the observation that the pruning by E-unification is highly effective. [ABSTRACT FROM AUTHOR] |
| Copyright of Systems & Computers in Japan is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 13945672 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A Procedure for Automatic Microprogram Synthesis Using E-Unification. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Kinoshita%2C+Takafumi%22">Kinoshita, Takafumi</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Imai%2C+Masaharu%22">Imai, Masaharu</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Naoi%2C+Tohru%22">Naoi, Tohru</searchLink><relatesTo>2</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Systems+%26+Computers+in+Japan%22">Systems & Computers in Japan</searchLink>. 12/1/94, Vol. 25 Issue 14, p1-11. 11p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Microprogramming%22">Microprogramming</searchLink><br /><searchLink fieldCode="DE" term="%22Abstract+data+types+%28Computer+science%29%22">Abstract data types (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Zhu and Johnson have proposed a method of specification description description for hardware architecture. The method is based on the motion of abstract data types, and in this framework, the problem of automatic synthesis of microprogram as the serialization problem has been forementioned. This paper proposes a semidecision procedure for the forementioned problem which uses E-unification to prune the search space of solutions. Also, as an execution example of the procedure, a specification description of a simple CPU with basic components and an example of the problem under this specification are treated, and its performance is discussed. It is shown through the observation that the pruning by E-unification is highly effective. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Systems & Computers in Japan is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=13945672 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 11 StartPage: 1 Subjects: – SubjectFull: Microprogramming Type: general – SubjectFull: Abstract data types (Computer science) Type: general – SubjectFull: Computer programming Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Computer systems Type: general – SubjectFull: Computer science Type: general Titles: – TitleFull: A Procedure for Automatic Microprogram Synthesis Using E-Unification. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Kinoshita, Takafumi – PersonEntity: Name: NameFull: Imai, Masaharu – PersonEntity: Name: NameFull: Naoi, Tohru IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: 12/1/94 Type: published Y: 1994 Identifiers: – Type: issn-print Value: 08821666 Numbering: – Type: volume Value: 25 – Type: issue Value: 14 Titles: – TitleFull: Systems & Computers in Japan Type: main |
| ResultId | 1 |
