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 |
Be the first to leave a comment!
