A PROCEDURE FOR AUTOMATIC MICROPROGRAM SYNTHESIS USING E-UNIFICATION

Zhu and Johnson have proposed a method of specification description fo r 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 pro blem which uses E-unification to prune the search space of solutions. Also, as an execution example of the procedure, a specification descri ption of a simple CPU with basic components and an example of the prob lem under this specification are treated, and its performance is discu ssed. It is shown through the observation that the pruning by E-unific ation is highly effective.