An application of L systems to local microcode synthesis

The authors present a formal language model of register-transfer (RT) design, and apply the model to local microcode synthesis. They transform an RT design´s data-path to a DT0L system-a parallel formal grammar-and formulate the design of the control part as a parsing problem of the corresponding DT0L language. The initial specification is based on the proposed SDC model of register-transfer design. They discuss the necessary steps for transforming a legal SDC-based data-path to its equivalent DT0L system. They then propose an efficient, goal-oriented, search algorithm to parse a behavioral specification, and use this method to generate the microcode for the corresponding control part. They present two examples, using a benchmark data-path