DATAFLOW synthesis

As stated above, the first step in high-level synthesis is the c( iq lation of the input specification to a dataflow type internal representation. This step has many similarities with dataflow CQnq)uting, for which, an AG formalism has been given... 

For the hardware compiler project, a tod has been developed that translates the internal reiaesentation into ddaflow st)le VHIX. that can be used as a preprocessor in modem CAD simdation or synthesis enviroiunents. Dataflow stjie has been chosen because it is a straightforward translation d the scheduled CDFG. 

In terms of alternative techniques to the MSG Method, there is of course the whole literature on empirical learning, and inductive logic programming (ILP), as surveyed in Chapter 3. But it should be noted that the MSG Method only aims at the synthesis of a sub-class of concept descriptions, namely non-recursive algorithms that are implemented in terms of the =/2 primitive only, and whose intended relation, though unknown as a whole, is however known to feature a given dataflow pattern between... 

So why not immediately use the Synthesis Method The reason is that both methods tackle different classes of problems. The MSG Method and the Synthesis Method are a joint answer to the same overall problem how to infer, from a finite set of general examples of an unknown relation that is however known to feature a given dataflow pattern between its parameters, a logic algorithm that is correct wrt a natural extension of the given examples. The MSG Method is the base case of the answer, because it doesn t look for recursion, and the Synthesis Method is the structure case of the answer, because it does look for recursion. 

Uses a representation called the SSIM (Sequential Synthesis In-core Model). The SSIM contains linked dataflow and controlflow graphs, and is hierarchical, in that it can represent several modules at once, and each can be synthesized separately. 

Josef Scheichenzuber, Wemer Grass, Ulrich Lauther, and Sabine MSrz, "Global Hardware Synthesis from Behavioral Dataflow Descriptions , Proc. of the 27th DAC, pages 456—461, June 1990. 

Logic synthesis and optimization results Synthesis of the dataflow architectures... 

Table 4.4 Logic synthesis and optimization statistics for the dataflow style architecture...

Table 5.1 Logic synthesis and optimization statistics for four synchronous dataflow-style architectures with and without external initialization signals. Compares If and Wait versions...

---