ANALYSIS AND SYNTHESIS OF CONCURRENT DIGITAL CIRCUITS USING CONTROL-FLOW EXPRESSIONS

In this paper, we present a novel modeling style and control synthesis technique for system-level specifications that are better described a s a set of concurrent descriptions, their synchronizations, and constr aints. The proposed synthesis procedure considers the degrees of freed om introduced by the concurrent models and by the environment in order to satisfy the design constraints. Synthesis is divided in two phases . In the first phase, the original specification is translated into an algebraic system, for which complex control-flow constraints and quan tifiers of the design are introduced. In the second phase, we translat e the algebraic formulation into a finite-state representation, and we derive an optimal control-unit implementation for each individual con current part. In the implementation of the controllers from the finite -state representation, we use flexible objective functions, which allo w designers to better control the goals of the synthesis tool, and thu s incorporate as much as possible their knowledge about the environmen t and the design.