Table of Contents Author Guidelines Submit a Manuscript
VLSI Design
Volume 2014, Article ID 280701, 18 pages
http://dx.doi.org/10.1155/2014/280701
Research Article

Design of Synthesizable, Retimed Digital Filters Using FPGA Based Path Solvers with MCM Approach: Comparison and CAD Tool

Department of ECE, PESIT, Bangalore 560085, India

Received 6 March 2014; Accepted 15 May 2014; Published 24 July 2014

Academic Editor: Jose Silva-Martinez

Copyright © 2014 Deepa Yagain and A. Vijaya Krishna. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Retiming is a transformation which can be applied to digital filter blocks that can increase the clock frequency. This transformation requires computation of critical path and shortest path at various stages. In literature, this problem is addressed at multiple points. However, very little attention is given to path solver blocks in retiming transformation algorithm which takes up most of the computation time. In this paper, we address the problem of optimizing the speed of path solvers in retiming transformation by introducing high level synthesis of path solver algorithm architectures on FPGA and a computer aided design tool. Filters have their combination blocks as adders, multipliers, and delay elements. Avoiding costly multipliers is very much needed for filter hardware implementation. This can be achieved efficiently by using multiplierless MCM technique. In the present work, retiming which is a high level synthesis optimization method is combined with multiplierless filter implementations using MCM algorithm. It is seen that retiming multiplierless designs gives better performance in terms of operating frequency. This paper also compares various retiming techniques for multiplierless digital filter design with respect to VLSI performance metrics such as area, speed, and power.

1. Introduction

High level synthesis is the process of converting behavioral description or an algorithm to structural level specification. In behavior description or an algorithm, the input and output behavior is described in terms of data transfers and operations without any implementation details. Structural description maps this data transfers and operations into combinational functional units and registers on to hardware. High level synthesis of DSP algorithms is very much useful as it reduces time to market window. Various optimization methods are available in literature for sequential synthesis [1]. Though synthesis of combinational logic has attained a significant level of maturity, sequential circuit synthesis has been lagging behind [2] in terms of frequency performance. DSP algorithms are repetitive and periodically iterations must be repeated to execute the computations [3]. Here, iteration period is the minimum time needed for computation and this is limited by critical path. Critical path can be altered by redistributing the delays such that functionality is preserved. Retiming algorithm [4] is used to redistribute the delays without altering [5] the functionality.

A great amount of research has been done on retiming [5, 6]. The retiming technique is the valuable optimization technique in problems of digital filters which can be represented as data flow graphs (DFGs). Efficient filter systems are needed to decrease the overall computation time since scientific applications can be recursive, nonrecursive, and iterative. Retiming transformation along with other high level transforms like multiple constant multiplication approach for filters in high level synthesis aids in reducing area of the filter circuit and most importantly decreases the clock period. Critical path and shortest path computations consume most of the time in retiming computation. The retiming minimizes the overall clock period, thereby increasing the clock frequency by reducing the filter critical path. In the general purpose processor where actual retiming vectors are computed for digital filters, the speed with which the retiming transformation is performed suffers since the entire transformation code will be written as software. Hence, FPGA based path solver architecture is designed in this paper which addresses the frequency issue in retiming and reduces the burden on general purpose processors.

A computer aided design (CAD) tool framework called DiFiDOT is developed which generates the synthesizable hardware descriptions of chosen digital filter with specified user constraints such as area, speed, and power. Since the digital filters are composed of adders/subtractors, multipliers, and delay elements, DiFiDOT picks the best choice of adders and multipliers as per users design constraints. Also, multiplication operation is expensive in terms of area, power, and delay. Exchanging multipliers with adders is advantageous because adders weigh less than multipliers in terms of silicon area [7]. Since the coefficients to be multiplied are known beforehand, the full flexibility of multiplier is not necessary in the design. So a multiplierless design in digital filter is proposed under multiple constant multiplications architecture and an option is included in DiFiDOT for generating multiplierless hardware descriptions. This significantly reduces the area of filters when compared to those designed using multiplier blocks. Here, sharing of partial terms in multiple constant multiplications (MCMs) concept [8] is used which reduces area and covers all possible partial terms that may be used to generate the set of coefficients in the MCM instance. For simulations, the authors have used some of ACM/SIGDA benchmark circuits.

2. Background

High level transformation techniques are applied to get optimal speed in sequential filter systems. For the designed optimization environment, input is considered as data flow graphs. This section introduces the data flow graphs (DFGs) and problem definitions and gives an overview on previously proposed retiming transformation algorithms with their drawbacks.

2.1. Data Flow Graphs (DFGs)

Digital filters are important part of digital signal processor. Their extraordinary performance is one of the parameters that made DSP become so popular [9]. Filters are used in audio processing, speech processing (detection, compression, and reconstruction), modems, motor control algorithms, video and image processing, and so forth. Retiming is important step [10] in high level synthesis (HLS) of digital filters. HLS is nothing but to map behavioural descriptions of algorithms to physical realizations. All digital filters which are iterative, recursive, and nonrecursive can be represented using data flow graphs (DFGs) [11, 12]. Any digital filter can be realized by functional blocks such as adder/subtractor and multiplier with delay elements. A filter DFG consists of such functional blocks and connectivity information for the data flow. This example is a 4th-order low pass elliptic filter block. High level transformations operate on the filter functional blocks for better performance. This can be done by changing the execution order or by altering the number of functional blocks in the critical path of retiming [3] process. Performance can also be improved by altering the architecture of functional block’s implementation characteristics without altering the functionality of the filter in the optimization environment. In this paper, MCM technique is used to achieve this. For applying all these transformations, input is given in the form of DFGs. The input DFGs can also be represented in the form of matrices for further computations. In this paper, 4th-order low pass elliptic filter is used as an application example to explain the present work. The elliptic filter response is given by where is the th order Chebyshev rational function with ripple parameter . Let Ap be the maximum pass-band loss and let As be the minimum stop-band loss in decibels. Depending on the need, we can define and which are pass-band cutoff frequency and stop-band cutoff frequency. The selectivity factor is computed using and . With these parameters, modular constant is computed where is The discrimination factor and the filter order are used to obtain which is given by

The second order elliptic filter block is as shown in Figure 1(a). The typical DFG for the filter is shown in Figure 1(b). For the designed optimization environment, the filter information is given in the form of matrices. There are two matrices which represent the filter information. The node-weight matrix represents node weights that are nothing but computation time unit delays in the filter graph. The computational complexity of the adder is , whereas for multiplication it is for two digit numbers. Multiplication computation complexity is higher when compared to addition. Hence, in the present work, time delay considered for multiplication in retiming is twice that of addition. Incidence matrix defines the edge weights between all the nodes which represent connectivity information. The number of delay elements present in between the computation nodes (adder and multiplier) is considered as edge weight. If there are no delay elements and adder or multiplier node is directly connected to another node, then the edge weight will have zero value. The node weight matrix and incidence matrix are used as the inputs for optimization environment where high level transformations are applied to obtain performance improvement. The critical path and shortest path of the filter are computed for retiming which is one of the efficient optimization techniques to obtain a filter solution with reduced clock period which in turn increases the filter speed. The critical path can be obtained by observing Figure 1(b) DFG. The critical path is node .

fig1
Figure 1: (a) Block diagram of 4th-order low pass elliptic filter; (b) DFG of elliptic filter block DFG.

Retiming Transformation. Retiming is a high level transformation technique in which the location of the registers is altered in such a way that the overall clock period reduces, thereby increasing the clock frequency [13]. This happens due to reduction in the critical path which bounds the speed of the design. Due to intelligent placement of registers, the clock period gets minimised without altering the filter functionality. Critical path is the longest computation path in between computational elements [14] or delay elements. The critical path can also be minimized by inserting the delay elements on the primary inputs of the filter circuit and retiming the circuit. This is called automatic pipelining technique. Both the methods are used to find the best optimal solution in the present work. Retiming for filter optimization is found to be NP complete problem, and time to find the solution increases as the problem size increases. There are two ways of applying retiming transformation:(i)retiming using clock period minimization method,(ii)retiming using register minimization method.

The retiming algorithm for clock period minimization is efficient in terms of clock frequency improvement. Its computational complexity is , where is the number of nodes which are nothing but computation elements such as adders and multipliers. The algorithm starts by building a new graph from the original DFG. The new graph can give us a set of inequalities called the critical path constraints. The original DFG also presents a set of equalities called the feasibility constraints. A constraint graph can be built from the critical path constraints and the feasibility constraints. The retiming values for each node can be derived by applying a Floyd-Warshall shortest path algorithm to the constraint graph. The weight for each edge in the retimed DFG can be calculated using the original weight and the retiming values of the two nodes are connected by this edge.(i)Calculate , where represents the number of nodes in the original DFG and is the maximum computation time of all the nodes in the DFG. Also compute the critical path which defines the required clock period of original graph.(ii)A new DFG can be created from . has the same nodes and edges as . For each edge in , the edge weight is , where is the edge weight of the same edge in ; is the computation time of the node initiating this edge.(iii)We then apply the Floyd-Warshall shortest path algorithm to compute , which represents the shortest path from node to node .(iv)From , and are calculated. If  , then and . If , then and . Here, and represent the computation times of node and node , respectively.(v)We then find the maximum value of and the minimum values of . We check all the possible clock periods starting from maximum value of to minimum value of one by one. If we find a clock period that can give us a feasible solution, we stop and find the minimal clock period by solving for solutions critical path. The solution contains the retiming values for all nodes. Here, 4th-order low pass IIR elliptic filter is designed and retimed using the above mentioned clock period minimization algorithm. The retimed data flow graph with reduced clock period is shown in Figure 2.

fig2
Figure 2: 4th-order elliptic filter after clock period minimization retiming; (a) DFG after retiming; (b) clock period and register count before and after retiming.

After applying retiming transformation to the filter, the critical path changes to .

Since each delay element occupies about one-third of the binary adder, it is important to reduce the number of delay elements [11]. In retiming using register minimization, we can obtain the digital filter that uses minimum number of registers and satisfies the clock period constraints [15]. Here, forward splitting or register sharing [12] is used. If the node has several output edges carrying the same signal, the number of registers required to implement these edges is the maximum number of registers on any one of the edges. Consider Figure 3. The maximum number of registers required in Figure 3(a) is 6 whereas after register sharing, this gets reduced to 3 as shown in Figure 3(b).

fig3
Figure 3: (a) Graph before register sharing. (b) Graph after register sharing.

The number of registers needed to construct this output edges in retimed graph and the total cost are The cost is WRT: (i)fan-out constraints: for all and all edges (ii)feasibility constraints: for every edge (iii)clock period constraints: for all vertices such that , where is the clock period.

This method makes use of gadgets to represent the nodes with multiple edges. The register minimization retiming can be modeled as linear programming problem. A dummy node with zero computation time will be introduced in this. The weight of the edge is defined to be , where , where where is the number of edges available. Also parameter is used which is the breadth associated to model the memory required by edge . The breadth of each edge is inverse of . A binary search is performed for clock period and below is the procedure used while performing retiming using register minimisation. The register minimization retiming values can be obtained as below.(i)Use the gadget model of the graph to compute the cost function.(ii)Calculate by using shortest path Floyd-Warshall algorithm.(iii)Compute and matrices from the original graph and matrix.(iv)Perform LP formulation such that the cost function gets minimized which is subjected to feasibility and clock period constraints.

This LP problem is solved to obtain the retiming solution which minimizes the number of registers by satisfying the clock period. Figure 4 shows the DFG of 4th-order low pass IIR elliptic filter. It is observed that the register minimum retimed solution provides the filter solution with reduced register count for reduced clock period. However, in some cases, it is found that clock period minimization efficiency reduces in comparison to clock period minimization retiming technique as the priority is given to the register count. For the considered elliptic filter for a clock period of 4 units, it is found that the register count gets minimized to . After applying register minimization retiming transformation to the filter, the critical path changes to .

fig4
Figure 4: 4th-order elliptic filter after register minimization retiming; (a) DFG after retiming; (b) clock period and register count before and after retiming.

Problem Formulation. Critical path and shortest path solving contribute to most of the computation time in retiming.

Definition 1 (the path solver problem). Let , where is the maximum number of feasible solutions available for retiming of a considered filter DFG. During retiming of digital filters in high level synthesis, the shortest path between the nodes must be computed for times where is the number of feasible solutions available for the DFG which is nothing but unique entries in path delay matrix. Similarly, the critical path must be computed for . General purpose processors (GPPs) where retiming algorithm is implemented are fully programmable but are less efficient in terms of power and performance. Hence, the problem is to improve the performance and power of retiming using FPGA based path solvers. Further, along with retiming, high level transformation technique called automatic pipeline is applied to improve the filter speed.

Definition 2 (multiple constant multiplication in digital filters). For the considered filter coefficient constant in the retimed filters, find the set of multiplierless operations with minimum number of addition, subtraction, and shift operations using multiple constant multiplier architecture to optimize the filter architecture further.

Definition 3 (optimization and automation of filter HDL). An environment needs to be developed to obtain HDLs of retimed filters in which user can choose different data path element architectures depending on the specifications. This reduces time to market and helps to evaluate a lot of hardware implementation trade-offs. Filter equivalence checking after applying high level transformation needs to be done which needs to be developed as a part of the optimization environment.

Principle of Shortest Path and MCM Algorithm. Several FPGA synthesis algorithms have been proposed specifically for sequential circuits. In [16], authors have proposed how to map retimed circuits on to FPGAs efficiently. However, in this paper, authors suggest a method for efficient retiming process using FPGA based path solvers. This can be applied to any retiming techniques available in literature. Shortest path is solved in filter DFG using Floyd-Warshall algorithm. The Floyd-Warshall algorithm uses an approach of dynamic programming to solve the shortest-paths problem on a DFG. The Floyd-Warshall Algorithm can solve the shortest path problem in time where is the number of nodes in the DFG. Let denote the weight of the shortest path from to such that all intermediate vertices are contained in the set . That is, the path is decomposed into . Let the vertices in the graph be numbered from . Consider the subset of these vertices. Find the shortest path from vertex to vertex that uses vertices in the set only. Then, there are two situations possible: (i) is an intermediate vertex on the shortest path,(ii) is not an intermediate vertex on the shortest path.

If the vertex is not an intermediate vertex on , then In either case, the subpaths contain nodes from . Therefore,

When , then

Let be the incidence matrix with the graph edge weight information initially. is then updated with the calculated shortest paths; see Algorithm 1.

alg1
Algorithm 1

The final matrix will store all the shortest paths. This algorithm is extended for retiming of digital filters.

The multiple constant multiplication (MCM) problem is addressed in the literature [14] using either graph based methods or using common subexpression elimination method. In common subexpression elimination algorithm, all possible subexpressions are extracted for a variable. But this is possible only if it is defined as minimum signed digit and as canonical signed digit. Then the subexpression is found such that it can be shared by multiple constant multiplication values. In this paper, the above two concepts are extended for automatic pipelining and retiming of digital filters in high level synthesis. In all the digital filters, the filter coefficients are known beforehand. Hence, full flexibility of the multiplier is not necessary and we can make use of MCM designs. This method is more efficient when compared to shift and add multiplications as intermediate results can be shared which reduces the area of multiplierless implementation of digital filters. The sharing of intermediate result will provide potential area saving with increased filter order (Figure 5).

fig5
Figure 5: Example for addressing MCM problem in digital filters.

Consider the filter coefficient set which is to be used for the filter design given by , we need to find the smallest set given by where (adders/Subtractors) & (shifts) such that the set is made of adderssubtracters, shifters, and operations. Here, shift operations also can be shared across multiple points so that the output set is optimum. Here algorithm [8] is used to generate corresponding DFG for the multiplier block implementing the parallel multiplications . The only operations used in the generated DAG and input design matrices are additions, subtractions, shifts, and negations. In this paper, performance of MCM based filter designs is further improved by combining this approach with retiming. The multiplierless filter circuit is further retimed to reduce the overall clock period which increases the clock frequency.

Consider and as two integers which specifies left shifts and specifies right shift and let be the sign bit which can be . An operation is an operation with two integer inputs and and one fundamental output which is defined as where is a left binary shift, is a right binary shift, and is the parameter set or the configuration of . To preserve all significant bits of the output, must divide . The left shifts are limited to the bit width of the target. All operations are used to build . For a given set of target filter coefficients , we can find set such that multiplierless digital filter is designed.

3. Design and Analysis

Each DSP filter block is associated with the critical path which limits maximum iteration period in the filter design [12]. This can be reduced by retiming where the clock period gets reduced and increases the clock speed. To reduce the critical path, we need to find the original critical path of the circuit using critical path solving algorithm and then apply retiming transformation to digital filter. While retiming, shortest path algorithm is required for solving the system inequalities. FPGAs are nothing but set of configurable logic blocks with configurable interconnects. Designer can program it to work like a specific hardware. These give great speedup over general purpose processors for many long running algorithms. Hence, for high performance systems, FPGAs become a better choice. In the present work, path solvers are implemented on FPGA to increase the performance.

3.1. Critical Path Solver Algorithm: Design and Analysis

The critical path is defined as maximum delay path between the output node and node causing the state change of the output node with zero delay. The significance of the critical path is that it determines the operating frequency of the design. In retiming, which is one among the steps in high level synthesis, it is imperative that we find the critical path [17] in real time. To speed up this process, the use of a dedicated FPGA hardware can speed up the process with low power. Consider Number of adder elements and Number of multiplier elements in the considered digital filter. Let , where , which is maximum combinational adder and multiplier elements. Consider where is the set of output nodes in the filter circuit and , where is the set of input nodes in the filter circuit such that IN and ON. The critical path of the circuit is defined in terms of which is the delay of individual combinational block. In this procedure of computing critical path on FPGA, it sorts the vertices such that vertices occurring early in the list are connected to vertices later in the list by edges having zero delays. While sorting, if the vertex is connected to previous one, then path length is sum of its time with the sum of all the vertices found in the path; otherwise, path length of the node is equal to its own computation time. We need this for constructing the retimed graph as well as verifying the retimed graph result. The equation of the critical path is where is the sum of adder and multiplier elements in the topologically sorted vertices connected with zero delay edges. The delay of the circuit is given by where is the delay of the critical path. Algorithm 2 shows the critical path formulation.

alg2
Algorithm 2

In the considered optimization environment, the below steps are used for critical path computation.(i)The filter network graph is considered as input to critical path solver algorithm.(ii)All the zero-weight edges in the network graph are found and a matrix of their source and destination nodes is formed.(iii)For each row in the above matrix, if the destination node of any zero-weight edge path is the same as the source node of the zero-weight edge path, the two paths are joined. This step is repeated to obtain a matrix whose rows will have nodes of all the possible zero-weight edge paths in the graph.(iv)The computational time of each zero-weight edge path from this matrix is calculated.(v)The zero-weight edge path with the greatest computational time is found. This is the critical path and its computational time is the critical path delay.

A critical path solver algorithm is designed in the present work on FPGA. The state diagram for the implemented critical path solver is given in Figure 6. In , the filter graph or matrix is given as input to the critical path solver module. Since HDL does not provide a method to represent infinity, some number, say 255, can be chosen which is always greater than any other weight in the incidence matrix. Also since edge weight is a valid input, any negative number, say , can be used to denote the uninitialized matrix element. In state , all the zero weight edges in the DFG are found along with their source and destination nodes and are stored in a matrix called zero_weight_path. The zero_weight_path matrix contains two columns. The first column contains the source node of a directed zero-weight edge while the second column has the destination node of the directed zero-weight edge. Simultaneously, we will keep a count on the number of zero-weight edges.

280701.fig.006
Figure 6: Critical path solver state diagram.

The state is provided to enable looping action and for updating of all the signals. In state , in each row of zero_weight_path matrix, the module will find the next node with a zero-weight edge connecting it to the node in the previous column (if it exists). Thus, if the destination node in any zero-weight path is same as the source node in another zero-weight path, the two paths are concatenated, that is, if the destination node in path is the source node in path , then we make the destination node in as the destination node of . The state is provided to enable looping action and for updating all the signals. At the end of this state, the matrix will contain only those superset paths that are a superset of the remaining zero weight paths. In state , the module calculates the sum of all the node weights through each of these paths. State is provided for looping action and for updating all signals.

In state the path with the highest node weights sum is found, which is the critical path of the DFG. All the nodes in this path are then stored in order in a matrix called the critical path matrix. These signals, in this matrix, are output as the critical path. The state is provided to enable looping action and for updating all the signals. The state machine then goes back to state and awaits new inputs. Next, algorithm to find the shortest path between two nodes in a graph is described. For retiming technique in high level synthesis, we need the shortest path to solve system of inequalities. It is seen that time needed to compute critical path on FPGA is reasonably less when compared to computation on general purpose processor. This also reduces the retiming computation time. The zero delay paths are computed for 4th-order elliptic filter shown in Figure 7. The highlighted path delay is from where nodes are adders and are multipliers. Maximum path delay which is highlighted is considered to be the critical path.

280701.fig.007
Figure 7: Zero path delays and critical path for 4th-order low pass elliptic filter.
3.2. Shortest Path Solver Algorithm and State Diagram

Let be the maximum delay between nodes and and let be total computation time of zero delay path from to . We can check the condition then select those paths to retime so that computation time in this path can be reduced. We have to retime the edges by constructing system of linear inequalities. This can be done using Floyd-Warshall shortest path algorithm (Algorithm 3). This can be used for retiming the graph further (Figure 6).

alg3
Algorithm 3

Floyd-Warshall all pair shortest path algorithm is designed and implemented as a part of path solvers on FPGA [17] which reduces the computational burden of general purpose processor where actual retiming has been carried out. The speed of computation is also increased by a larger extent. The HDL program for the shortest path solver on FPGA was designed based on the state diagram shown in Figure 8. Updating of the looping variables is done in and then transition from to occurs. The transition from to occurs after the incidence matrix is completely copied to the signal weight_temp. In state , the signal weight_temp is operated upon to obtain the pair wise shortest path matrix with state enabling looping action. Transition from to takes place after each pair wise path distance is found. Updating of the looping variables is done in and then transition from to occurs. The transition from to occurs after all the pair wise shortest paths are stored in the signal weight_temp. In the state , the elements of the signal matrix weight_temp are copied to the output matrix. The state enables looping action for . Transition from to occurs after the output matrix is available with all the pair wise shortest paths. The state machine is then initialized and awaits new inputs.

280701.fig.008
Figure 8: Shortest path solver state diagram.
3.3. Multiplierless Digital Filters

The digital FIR filters and the transposed IIR filters will have block of multipliers in the filter structure. This is shown in Figure 9.

fig9
Figure 9: General structure of MCM block for (a) FIR filter, (b) transposed direct form-I IIR filter, and (c) transposed direct form-II IIR filter.

For a target set in digital filter, we have to find the ready set that is small and composed of minimum number of addition, subtraction, and shift operations. After this target set is obtained, multiplierless multiple constant multiplication filters can be designed with this target set. Multiple constant multiplication (MCM) is an efficient way of implementing several constant multiplications with the input data [18, 19]. The coefficients are implemented using shifts, adders, and subtracters. By removing the redundancy between the coefficients, the number of adders and subtracters is reduced which results in a low complexity implementation. Retiming for multiplierless MCM filters is still unexplored in the literature and authors have combined retiming for multiplierless MCM filters which shows decrease in the combinational path delay. For filter graph , multiplierless MCM filter can be designed using target set and , and multiplierless MCM filter graph is obtained. This is again retimed to increase the speed performance of by modifying the critical path of the filter. The graph after retiming of multiplierless MCM filter is considered as . In the present work, algorithm is used for computation. The input to the algorithm is target set and algorithm computes a ready set which is the output solution. The set computation requires multiple iterations and, in each iteration, successor set of is chosen as the next fundamental based on the heuristic. Here, which is set of constants of distance 1 from is given as

For the target set of constants for the considered filter graph , using algorithm compute set with . If the targets are found in the , then it is optimal synthesis. Here, heuristic function of an algorithm can be chosen when no more targets are found in . This can happen when all the targets are more than one away. The optimal part is when , then there is a target in the successor set and it can be synthesized. Optimal set is the one in which the entire target is synthesized in this way and the solution is optimal. In heuristic part, the computation can be done by two ways:(i)maximum benefit,(ii)cumulative benefit.

To build the heuristic, we can define the benefit function as : A successor needs to be picked which is closest to the target set to minimize the cost. This is possible if we can compute or estimate the A-Distance. It is useful to also take into account the current estimate of the distance between and . Thus, to build the heuristic, we must first define the benefit function to quantify to what extent adding a successor s to the ready set improves the distance to a fixed, but arbitrary, target . However, for remote targets, the estimate becomes less accurate; hence, we can have weighted benefit function given as where is a weight factor and decreases exponentially as grows. The benefit function for different targets can be added and joint optimization can be achieved by using cumulative benefit which is used in the present work. Hence, heuristic function for cumulative benefit is given by

Here, cumulative benefit heuristic adds up the weighted benefit considering all the targets. With this particular method, target set is calculated. With this target set, filter graph which is multiplierless MCM based can be designed. It is found that multiplierless designs reduce the combinational path delays and due to sharing of intermediate results in the MCM approach. The performance can be further improved by retiming to give . These two different optimization techniques reduce the combination delay and critical path without changing the functionality which further increases the clock speed. The 4th-order lattice filter with multiplierless MCM concept using algorithm is shown in Figure 10. It is seen from the synthesis that combination delay is reduced. It is further retimed either for clock period minimization or register minimization. This requires solving a set of linear inequalities with a computation complexity of where is the number of nodes using the Floyd-Warshall algorithm, where is the number of nodes [8]. The clock period minimization and register minimization retiming algorithms are designed and implemented with FPGA based path solvers which reduces computation time when compared to previous methods [8, 16] to design multiplierless digital filters.

280701.fig.0010
Figure 10: Multiplierless MCM based 4th-order elliptic filter.

The algorithm starts by building a new graph from the original DFG. The new graph can give us a set of inequalities called the critical path constraints. The original DFG also presents a set of equalities called the feasibility constraints. A constraint graph can be built from the critical path constraints and the feasibility constraints. The retiming values for each node can be derived by applying a Floyd-Warshall shortest path algorithm to the constraint graph. The weight for each edge in the retimed DFG can be calculated using the original weight and the retiming values of the two nodes connected by this edge. The improvement in the clock frequency is shown in Figure 11. Here, 4th-order lattice filter is considered. is the filter with multipliers and without retiming, is multiplierless MCM based filter without retiming, is the filter with multipliers with retiming, and is multiplierless MCM based lattice filter with retiming. The maximum operating frequency of the filter has increased by 19.6% in multiplierless MCM approach as multipliers will get eliminated and get replaced by adders which have much less computation delay. Further, it is observed that by combining this approach with retiming, operating frequency increases by 35.4% which is a significant increase. However, with this technique, the number of registers increases from to .

280701.fig.0011
Figure 11: Comparison of operating frequency and number of registers for different filter designs of 4th-order elliptic filter.

Hence, when the filter is designed without multipliers (that is using only adders/subtractors and shifters) along with the retiming technique, operating clock speed is found to increase which gives a greater speed advantage for the design under consideration.

3.4. Computer Aided Design Tool

This section presents the DiFiDOT tool which is designed as the part of research work. Initially, the design of filters is performed using retimed architecture where user can choose either clock period minimization or register minimization retiming as per his need. The tool will retime the digital filter by optimizing the critical path and generate verilog/VHDL based filter RTL for the same. The performance of a filter can also be increased by varying the choice combinational adder and multiplier elements in the RTL filter description. A graphical user interface (GUI) is created in DiFiDOT using Nokia QT 4.8.0 for component selection and optimization of digital filters. Here, user has to input the HDL file which was automatically generated after retiming for further component optimization. The user can choose adders and multipliers of his choice according to the design requirements for the retimed digital filters using drop down menu. The original HDL is automatically modified with respect to the components chosen which is again synthesizable and is given as the output to the user. This easy to use GUI helps designer to optimize and generate digital filter RTL with the adder and multipliers of his choice. With this, designer can conveniently explore the solution space of possible architectures and also analyze the trade-offs in the energy-area-performance space [20]. The different adder and multipliers considered in the tool are as below.

Multiplier Architecture. The most critical function carried out by any filter is multiplication. Digital multiplication [19] is the most extensively used operation in signal processing. Innumerable schemes have been proposed for realization of the operation. In this paper, we consider three types of multipliers.

Array Multiplier. It is the basic type of multiplier. Consider two binary numbers and , of bits, respectively. The multiplication is given as In each stage, the partial products are generated that are added to obtain final product . In general, for array multiplier, we need AND gates, half adders, and full adders.

Radix 4 Booth Multiplier. It has the advantage of lesser area and faster multiplication compared with array multiplication. Radix 4 Booths Algorithm can scan strings of three bits and is converted depending on modified Booth encoder table. The design of Booths multiplier in this project consists of four Modified Booth Encoders (MBE), four sign extension correctors, four partial product generators (comprises of 5 : 1 multiplexer), and finally a Ripple carry Adder. This Booth multiplier technique is to increase speed by reducing the number of partial products by half. Since a 32-bit booth multiplier is used in this project, there are only sixteen partial products that need to be added instead of 32 partial products generated using conventional multiplier.

Vedic Multiplier. It is used for faster multiplication operations in higher order bits. It has less combinational path delay [21] compared with others when the bit size is higher. However, it consumes more area than Booth multiplier and array multiplier. The multiplier is based on an algorithm Urdhva Tiryakbhyam (vertical & crosswise) Sutra which is a general multiplication formula applicable to all cases of multiplication. It means vertically and crosswise. It is based on a novel concept through which the generation of all partial products can be done with the concurrent addition of these partial products. The speed advantage is compromised with increased power dissipation and area. Due to its regular structure, layout of this can be easily generated.

The different multipliers are designed for different bit sizes and results are compared. This is as shown in Table 1.

tab1
Table 1: Comparison of multipliers for delay, power, and area.
3.5. Adders

In this paper, qualitative evaluations of the classified binary adder architectures are performed since adder is another basic component of FIR filter. Here, Ripple-carry adder, BruntKung adder, and Ling adder are considered to emphasize the performance properties. Adders affect the critical path delay and area.

Ripple Adder. It is the basic adder type. This is composed of cascaded full adders for -bit adder. It is constructed by cascading full adder blocks in series. The carry-out of one stage is fed directly to the carry-in of the next stage. For an -bit parallel adder, it requires n full adders.

Parallel-Prefix Adders. Parallel prefix adders [22] offer a highly efficient solution to the binary addition problem. Among all the parallel prefix adders, Brunt Kung adder has a good balance between area, power, and performance. It is found that Ling adder using Kogge-Stone parallel prefix adder is also having the advantage of faster addition operation [22], but it consumes more power than Brunt Kung Adder. The basic equations used in parallel prefix adders are given below. The equations of bit generate and propagate are The sum generation is given by Different Adders are designed for different bit sizes and their VLSI design metrics are compared as shown in Table 2. The delay generated is based on the combinational path delay after synthesis. It is measured in .

tab2
Table 2: Comparison of adders for delay, power, and area.

In the GUI, an option is crested for particular adder and multiplier combination also depending on whether the performance parameter is speed, power, or area and also based on the bit size. For example, if the design constraint that user chooses is power then Brent-Kung adder and array multiplier pair are considered as the best combination to implement the filter in the design optimization GUI. User can also choose any one of his choice among area, power, or speed constraint for digital filter HDL generation. Along with this, an option is created for multiplierless filter design description as well based on MCM approach. It is seen that the retimed MCM circuits outperform the existing MCM methods [23] in terms of speed. Using this tool, user can design retimed digital filter which has combination elements of his choice which are specific to particular design constraint and generate the RTL for the same. The obtained RTL can be synthesized with any of the commercially available synthesis tools. The GUI designed is shown in Figure 12. A based algorithm is considered for implementing MCM blocks in multiplierless digital filters for specific user defined option in DiFiDOT. Since all the multipliers can be realised as a block in transposed IIR and FIR filters, they are well suited for MCM implementation. After retiming, the multiplier blocks in digital filter can be replaced by a block constructed by adderssubtractors, negation operations, and shifters in multiplierless design approach. The generated MCM block will have tree depth in terms of different components and this depth in our work is assumed to be infinity. The tool DiFiDOT automatically generates the HDL of retimed digital filter which is under consideration which can be directly synthesizable. With this tool and automation, even if reiteration of the design cycle happens due to specification change, time taken to reiterate is very little.

280701.fig.0012
Figure 12: GUI for dDesign optimization environment created to generate synthesizable retimed digital filter HDL optimized for VLSI design metrics.

4. Experimental Results

This section is divided in to three parts: the first part presents the results of retiming with FPGA based path solvers, second part presents comparison of various retiming techniques, and third part presents the timing results of retimed filter structures with MCM blocks.

4.1. Results on Path Solvers for Retiming

The main idea of implementing path solver algorithms on FPGA is to speed up the results for retiming purposes. The inputs are passed to the FPGA based path solver block by a processor where retiming algorithm is implemented. The computations are performed in FPGA based block and shortest path along with critical path is computed and communicated back to the processor where retiming will be performed. For comparison, a set of designs is used to test the path solver algorithms. The designs are a diverse set of DSP functions of varying complexity which includes recursive and nonrecursive filter structures. The considered target device for path solver implementation is Spartan6 family based XC6SSLX16. The simulation and synthesis of path solvers are performed using Xilinx ISE tool suit and the synthesis and the timing results after synthesis are shown in Table 1. The FPGA based path solver computes critical path and shortest path and communicates the results to the processor where retiming is performed. This reduces the burden on main processor (Table 3).

tab3
Table 3: Device utilization and timing summary of path solvers.

Here, various IIR and FIR filters have been considered to analyze the FPGA based path solvers and execution time of FPGA design is compared with the general purpose processor (GPP) based design. Also, GPP denotes the required CPU time in milliseconds of the path solver to find the minimum solution on a PC with Intel Pentium 5 machine at 2  and 4 of memory. FPGA based design solves for critical path and shortest path in very less time when compared to the general purpose processor based path solvers. The time taken by the FPGA path solvers is compared in Table 4 to the time taken by the algorithms run using general purpose processor with Matlab environment. The time overhead needed for general purpose processor where retiming algorithm is implemented in MATLAB to communicate with the FPGA based path solvers is around 210 ns for each computation. Including this, the time gain achieved is quite substantial when compared to designs without FPGA based path solvers. These time gains are good and can really help speed up the results, which is crucial for retiming.

tab4
Table 4: Computation time comparison.
4.2. Comparison of Clock Period Minimization and Register Minimization Retiming Technique

Different filter structures are designed and they are compared with respect to the clock period and register count before and after retiming. It is observed that after retiming, the clock period gets reduced. The register count gets altered depending on the filters iteration bound. Here, three models are considered. is the filter without retiming and with adder, subtractor, multiplier, and delay elements. is retimed filter based on clock period minimization algorithm. is retimed filter based on register minimization algorithm. After retiming, the results are compared with the original circuit [24]. The comparison results are shown in Figure 13. After retiming, the finite state machine is extracted from the retimed circuit and it is compared with original circuit for its functionality. It is observed that clock period minimization retiming algorithm is efficient in terms of reduction critical path, thereby increase in the clock frequency. However, this might increase the register count. In register minimization retiming [18], the number of registers after retiming will be reduced while compromising the clock period.

280701.fig.0013
Figure 13: Clock period and register count before and after retiming for various digital filter blocks.
4.3. Area, Power, and Timing Results for Digital Filter before and after Retiming for Different Adder and Multiplier Combinations

The FIR and IIR filters are designed with respect to different adders and multipliers combinations. As an application example, IIR and FIR filters [25] of order are considered. Table 5 shows the results of FIR/IIR filters before and after retiming for particular adder and multiplier combinations. User can choose any adder and multiplier for the filter circuit depending on the design requirement. In the GUI, particular adder and multiplier combination is considered depending on whether the performance parameter is delay, power, or area and also based on the bit size. If user does not want to use these in built combinations, user can choose any one of his choice among the available for FIR/IIR digital filter HDL generation with specific combinational components.

tab5
Table 5: Comparison results of different adder/multiplier combinations for digital filters.
4.4. Results for Optimization of Latency, Multiplier Components, and Power in Multiplierless Multiple Constant Multiplication Based Filter Designs Using Retiming Algorithm

Table 6 presents the results of the filters designed using multiplierless MCM approach and optimization using retiming algorithm. Here, 3 models are used.(i): Filter with adder, multiplier, and delay elements.(ii): Filter based on multiplierless multiple constant multiplication approach.(iii): Retimed multiplierless multiple constant multiplication based filter.

tab6
Table 6: Comparison of area, delay, and power for different models of various digital filters.

All the three models are compared for the performance parameters such as area, power, and delay. Here, it is ensured that functionality of the circuits after and before retiming is retained. The frequency improvement seen for different filters by considering the above models is given in Figure 14. It is seen that frequency parameter is improved when retiming technique is applied for multiplierless MCM based digital filters.

280701.fig.0014
Figure 14: Frequency improvement in % factor.

5. Application Example

The electrocardiogram (ECG) is the most commonly used diagnostic method for heart diseases. Good quality ECG is utilized by physicians for interpretation and identification of physiological and pathological phenomena. ECG recordings are often corrupted by high-frequency noises, such as power-line interference, electromyography (EMG) noise, and instrumentation noise. An ECG is usually affected by the 50/60Hz noise in the power supply lines. This noise can be eliminated by using a digital filter. The model is constructed in matlab and tested for ECG signals for removing the noise. The constructed model uses retimed multiplierless MCM filter which is implemented on FPGA and tested for ECG signal which is corrupted by power-line noise. The filter efficiently filters out the noise and outputs the clean ECG signal. The ECG noise removal block using the optimized filter structure is shown in Figure 15.

fig15
Figure 15: Structure of ECG block for power noise removal; (a) block diagram; (b) filter block expanded.

6. Conclusions

In this paper, we introduced the retiming approach for designing multiplierless MCM based digital filters with speed and area as the constraint. The implementation cost at the gate level is reduced by using addition, subtraction, and shift operations instead of multiplication and by using register sharing and register minimization retiming algorithm approach. Since there are still instances with which multiplierless designs can not cope, we also proposed the combination of adder and multiplier blocks which can be used in retimed filter design which is applicable for specific VLSI design constraint such as power, area, and timing. This yields the optimal clock speed and gate-level area in design and implementation of digital filters. This paper also introduced the design architectures for the digital filter and a CAD tool for the realization of retimed digital filters which can be either multiplierless MCM based or with adder/subtractor, multiplier, and delay elements. This tool directly gives the synthesizable filter RTL which reduces lot of designers’ time and effort in the design cycle. The experimental results indicate that the retiming algorithm efficiency can be further increased by using FPGA based path solver algorithms proposed in this paper. It was shown that the realization of path solver architectures for solving critical path and shortest path in retiming computation and communicating the results to the processor where retiming algorithm is implemented yields significant increase in computation time gain when compared to the filter designs for which path solver algorithms are implemented as a part of retiming algorithm in the processor. It is observed that a designer can find the synthesizable digital filter RTL that fits best in an application.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

  1. C. Soviani, O. Tardieu, and S. A. Edwards, “Optimizing sequential cycles through shannon decomposition and retiming,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 26, no. 3, pp. 456–467, 2007. View at Publisher · View at Google Scholar · View at Scopus
  2. S. Bommu, N. O'Neill, and M. Ciesielski, “Retiming-based factorization for sequential logic optimization,” ACM Transactions on Design Automation of Electronic Systems, vol. 5, no. 3, pp. 373–398, 2000. View at Publisher · View at Google Scholar · View at Scopus
  3. K. K. Parhi, “A systematic approach for design of digit-serial signal processing architectures,” IEEE Transactions on Circuits and Systems, vol. 38, no. 4, pp. 358–375, 1991. View at Publisher · View at Google Scholar · View at Scopus
  4. D. Yagain, A. V. Krishna, and S. Chennapnoor, “Design optimization platform for synthesizable high speed digital filters using retiming technique,” in Proceedings of the 10th IEEE International Conference on Semiconductor Electronics (ICSE '12), pp. 551–555, Kuala Lumpur, Malaysia, September 2012. View at Publisher · View at Google Scholar · View at Scopus
  5. N. Shenoy, “Retiming: theory and practice,” Integration, the VLSI Journal, vol. 22, no. 1-2, pp. 1–21, 1997. View at Publisher · View at Google Scholar · View at Scopus
  6. C. E. Leiserson and J. B. Saxe, “Retiming synchronous circuitry,” Algorithmica, vol. 6, no. 1–6, pp. 5–35, 1991. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. Y. Tsao and K. Choi, “Area-efficient VLSI implementation for parallel linear-phase FIR digital filters of odd length based on fast FIR algorithm,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 59, no. 6, pp. 371–375, 2012. View at Publisher · View at Google Scholar · View at Scopus
  8. K. K. Parhi, VLSI Digital Signal Processing Systems: Design and Implementation, John Wiley & Sons, 2007.
  9. K. K. Parhi, “Hierarchical folding and synthesis of iterative data flow graphs,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 60, no. 9, pp. 597–601, 2013. View at Publisher · View at Google Scholar · View at Scopus
  10. X. Zhu, T. Basten, M. Geilen, and S. Stuijk, “Efficient retiming of multirate DSP algorithms,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 31, no. 6, pp. 831–844, 2012. View at Publisher · View at Google Scholar · View at Scopus
  11. N. Liveris, C. Lin, J. Wang, H. Zhou, and P. Banerjee, “Retiming for synchronous data flow graphs,” in Proceedings of the Asia and South Pacific Design Automation Conference (ASP-DAC '07), vol. 7, pp. 480–485, Yokohama, Japan, January 2007. View at Publisher · View at Google Scholar · View at Scopus
  12. N. L. Passos, E. H. Sha, and S. C. Bass, “Optimizing DSP flow graphs via schedule-based multidimensional retiming,” IEEE Transactions on Signal Processing, vol. 44, no. 1, pp. 150–155, 1996. View at Publisher · View at Google Scholar · View at Scopus
  13. J. R. Jiang and R. K. Brayton, “Retiming and resynthesis: a complexity perspective,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 25, no. 12, pp. 2674–2686, 2006. View at Publisher · View at Google Scholar · View at Scopus
  14. N. Maheshwari and S. Sapatnekar, “Efficient retiming of large circuits,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 6, no. 1, pp. 74–83, 1998. View at Publisher · View at Google Scholar · View at Scopus
  15. D. Yagain and A. Vijaya Krishna, “High speed digital filter design using register minimization retiming & parallel prefix adders,” in Proceedings of the 3rd International Conference on Emerging Applications of Information Technology (EAIT '12), pp. 449–453, Kolkata, India, December 2012. View at Publisher · View at Google Scholar · View at Scopus
  16. J. Cong and C. Wu, “An efficient algorithm for performance-optimal FPGA technology mapping with retiming,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 9, pp. 738–748, 1998. View at Publisher · View at Google Scholar · View at Scopus
  17. D. Yagain, A. Vijayakrishna, P. Nikhil, A. Adarsh, and S. Karthikeyan, “FPGA based path solvers for DFGs in high level synthesis,” in Proceedings of the 2nd International Conference on Advances in Computational Tools for Engineering Applications (ACTEA '12), pp. 273–278, IEEE, Beirut, Lebanon, December 2012. View at Publisher · View at Google Scholar · View at Scopus
  18. Y. Voronenko and M. Püschel, “Multiplierless multiple constant multiplication,” ACM Transactions on Algorithms, vol. 3, no. 2, article 11, Article ID 1240234, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. K. Johansson, O. Gustafsson, and L. Wanhammar, “Multiple constant multiplication for digit-serial implementation of low power FIR filters,” WSEAS Transactions on Circuits and Systems, vol. 5, no. 7, pp. 1001–1008, 2006. View at Google Scholar · View at Scopus
  20. A. Baliga, “Design of high-speed adders for efficient digital design blocks,” ISRN Electronics, vol. 2012, Article ID 253742, 9 pages, 2012. View at Publisher · View at Google Scholar
  21. H. D. Tiwari, G. Gankhuyag, C. M. Kim, and Y. B. Cho, “Multiplier design based on ancient indian vedic mathematics,” in Proceedings of the International SoC Design Conference (ISOCC '08), vol. 2, pp. II65–II68, Busan, Republic of Korea, November 2008. View at Publisher · View at Google Scholar · View at Scopus
  22. G. Dimitrakopoulos and D. Nikolos, “High-speed parallel-prefix VLSI ling adders,” IEEE Transactions on Computers, vol. 54, no. 2, pp. 225–231, 2005. View at Publisher · View at Google Scholar · View at Scopus
  23. L. Aksoy, E. da Costa, P. Flores, and J. Monteiro, “Exact and approximate algorithms for the optimization of area and delay in multiple constant multiplications,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 27, no. 6, pp. 1013–1026, 2008. View at Publisher · View at Google Scholar · View at Scopus
  24. M. N. Mneimneh, K. A. Sakallah, and J. Moondanos, “Preserving synchronizing sequences of sequential circuits after retiming,” in Proceedings of the Asia and South Pacifi c Design Automation Conference, pp. 579–584, IEEE Press, 2004.
  25. D. Yagain and K. A. Vijaya, “Fir filter design based on retiming and automation using vlsi design metrics,” in Proceedings of the International Conference on Technology, Informatics, Management, Engineering, and Environment (TIME-E '13), pp. 17–22, IEEE, 2013.