Optimal Code Generation for Sequential Logic

Yunjian Jiang
(Professor Robert K. Brayton)
(SRC) 683-004

In a platform-based design context, we target (1) standardized or application specific processing platforms, and (2) automatic software generation from functional models. With a focus on control-intensive embedded systems, for instance, automobile engine, airplane, and network protocol controls, we use a network of extended finite state machines (EFSMs) as the model of computation. The research goal is to derive proper flow and point algorithms for code generation and mapping, given an existing architecture platform. Initial results are highlighted in [1,2]. Further research includes the following.

Generalized cofactoring from multi-valued relations: given a multi-valued relation, we want to find the optimal cofactoring structure that minimizes the functional evaluation cost. The generalized cofactoring structure is a DAG, where each node is associated with a binary cofactoring function, and the two out going edges represent the positive and negative cofactor. The goal is to find a set of cofactoring functions that minimize the average path length [3] of the structure.

State minimization and re-encoding: given a sequential logic network, we want to find sequential and parallel decompositions of the state machine, so that the output evaluation can be made faster.

Y. Jiang and R. K. Brayton, "Software Synthesis from Synchronous Specifications Using Logic Simulation Techniques," Design Automation Conf., New Orleans, LA, June 2002.
M. Baleani, F. Gennari, Y. Jiang, Y. Patel, R. K. Brayton, and A. Sangiovanni-Vincentelli, "HW/SW Partitioning and Code Generation of Embedded Control Applications on a Reconfigurable Architecture Platform," Int. Symp. Hardware/Software Codesign, Estes Park, CO, May 2002.
T. Sasao, Y. Iguchi, and M. Matsuura, "Comparison of Decision Diagrams for Multiple-Output Logic Functions," Int. Workshop on Logic Synthesis, New Orleans, LA, June 2002.

More information (http://www-cad.eecs.berkeley.edu/mvsis) or

Send mail to the author : (wjiang@eecs.berkeley.edu)

Edit this abstract