The DSPCAD Framework for Modeling and Synthesis of Signal Processing Systems

Passive-Active Flowgraphs for Efficient Modeling and Design of Signal Processing Systems

“…In the methodology developed in this paper, PAFGs are derived from dataflow graphs, and are intended as intermediate representations or implementation architectures for dataflow application graphs (dataflow models of signal processing applications). For concreteness, we develop the concepts of PAFGs here in the context of core functional dataflow (CFDF) [20] as the application graph model; however, the concepts are not specific to CFDF and can be adapted to other forms of dataflow. CFDF is a highly expressive model that can be used to represent other well-known dataflow models, including synchronous [16], cyclo-static [5], Boolean dataflow [8], and integer-controlled dataflow [7].…”

“…CFDF is a highly expressive model that can be used to represent other well-known dataflow models, including synchronous [16], cyclo-static [5], Boolean dataflow [8], and integer-controlled dataflow [7]. CFDF is the model that underlies the lightweight dataflow environment (LIDE) tool [20], which we use for our experiments in Section 6. Details on LIDE, including its actor firing (enable/invoke) and read/write interfaces can be found in [20].…”

Generalized Graph Connections for Dataflow Modeling of DSP Applications

“…CFDF is a highly expressive model that can be used to represent other well-known dataflow models, including synchronous, cyclo-static, and Boolean dataflow [13]. CFDF is the model that underlies the lightweight dataflow environment (LIDE) tool [14], which we use for our experiments in Section V. We first define some notation that will be useful throughout the remainder of this paper. Given an edge e in a directed graph, we denote the source and sink vertices of e by src(e) and snk (e), respectively.…”

“…In this work, we assume that unit testing processes are used to validate such "mapping equivalence" between passive blocks and their corresponding actors. For background on synergies between unit testing and dataflowbased design processes, we refer the reader to [14]. We envision as an interesting area for future work the automation of the equivalence checking process between active and passive implementations of the same buffer actor.…”

“…These experiments demonstrate the utility of design optimization using PAFGs. In both of these experiments, we carried out a sequence of passivization transformations by hand, and implemented the original dataflow graph and the optimized PAFG (derived through the transformations) using the lightweight dataflow environment (LIDE) [14]. In this work, we have developed extensions in LIDE to provide complete support for design and implementation using PAFGs, including features that allow implementation and interfacing of non-simple passive blocks.…”