Parameterized dataflow is a meta-modeling approach for incorporating dynamic reconfiguration capabilities into broad classes
of dataflow-based design frameworks for digital signal processing (DSP). Through a novel formalization of dataflow parameterization,
and a disciplined approach to specifying parameter reconfiguration, the parameterized dataflow framework provides for automated
synthesis of robust and efficient embedded software. Central to these synthesis objectives is the formulation and analysis
of consistency in parameterized dataflow specifications. Consistency analysis of reconfigurable specifications is particularly challenging
due to their inherently dynamic behavior. This paper presents a novel framework, based on a concept of local synchrony, for managing consistency when synthesizing implementations from dynamically-reconfigurable, parameterized dataflow graphs.
This research was sponsored by the U. S. National Science Foundation under Grant #9734275.