In signal processing, overlap–save is the traditional name for an efficient way to evaluate the discrete convolution between a very long signal ${\displaystyle x[n]}$ and a finite impulse response (FIR) filter ${\displaystyle h[n]}$:

${\displaystyle y[n]=x[n]*h[n]\ \triangleq \ \sum _{m=-\infty }^{\infty }h[m]\cdot x[n-m]=\sum _{m=1}^{M}h[m]\cdot x[n-m],}$

(Eq.1)

where h[m] = 0 for m outside the region [1, M]. This article uses common abstract notations, such as ${\textstyle y(t)=x(t)*h(t),}$ or ${\textstyle y(t)={\mathcal {H}}\{x(t)\},}$ in which it is understood that the functions should be thought of in their totality, rather than at specific instants ${\textstyle t}$ (see Convolution#Notation).

Fig 1: A sequence of four plots depicts one cycle of the overlap–save convolution algorithm. The 1st plot is a long sequence of data to be processed with a lowpass FIR filter. The 2nd plot is one segment of the data to be processed in piecewise fashion. The 3rd plot is the filtered segment, with the usable portion colored red. The 4th plot shows the filtered segment appended to the output stream.^{[upper-alpha 1]} The FIR filter is a boxcar lowpass with M=16 samples, the length of the segments is L=100 samples and the overlap is 15 samples.

The concept is to compute short segments of y[n] of an arbitrary length L, and concatenate the segments together. Consider a segment that begins at n = kL + M, for any integer k, and define:

${\displaystyle x_{k}[n]\ \triangleq {\begin{cases}x[n+kL],&1\leq n\leq L+M-1\\0,&{\textrm {otherwise}}.\end{cases}}}$

${\displaystyle y_{k}[n]\ \triangleq \ x_{k}[n]*h[n]=\sum _{m=1}^{M}h[m]\cdot x_{k}[n-m].}$

Then, for ${\displaystyle kL+M+1\leq n\leq kL+L+M}$, and equivalently ${\displaystyle M+1\leq n-kL\leq L+M}$, we can write:

${\displaystyle y[n]=\sum _{m=1}^{M}h[m]\cdot x_{k}[n-kL-m]\ \ \triangleq \ \ y_{k}[n-kL].}$

With the substitution ${\displaystyle j=n-kL}$, the task is reduced to computing ${\displaystyle y_{k}[j]}$ for ${\displaystyle M+1\leq j\leq L+M}$. These steps are illustrated in the first 3 traces of Figure 1, except that the desired portion of the output (third trace) corresponds to 1  ≤  j  ≤  L.^{[upper-alpha 2]}

If we periodically extend x_k[n] with period N  ≥  L + M − 1, according to:

${\displaystyle x_{k,N}[n]\ \triangleq \ \sum _{\ell =-\infty }^{\infty }x_{k}[n-\ell N],}$

the convolutions  ${\displaystyle (x_{k,N})*h\,}$  and  ${\displaystyle x_{k}*h\,}$  are equivalent in the region ${\displaystyle M+1\leq n\leq L+M}$. It is therefore sufficient to compute the N-point circular (or cyclic) convolution of ${\displaystyle x_{k}[n]\,}$ with ${\displaystyle h[n]\,}$  in the region [1, N].  The subregion [M + 1, L + M] is appended to the output stream, and the other values are discarded.  The advantage is that the circular convolution can be computed more efficiently than linear convolution, according to the circular convolution theorem:

${\displaystyle y_{k}[n]\ =\ \scriptstyle {\text{IDFT}}_{N}\displaystyle (\ \scriptstyle {\text{DFT}}_{N}\displaystyle (x_{k}[n])\cdot \ \scriptstyle {\text{DFT}}_{N}\displaystyle (h[n])\ ),}$

(Eq.2)

where:

• DFT_N and IDFT_N refer to the Discrete Fourier transform and its inverse, evaluated over N discrete points, and
• L is customarily chosen such that N = L+M-1 is an integer power-of-2, and the transforms are implemented with the FFT algorithm, for efficiency.
• The leading and trailing edge-effects of circular convolution are overlapped and added,^{[upper-alpha 3]} and subsequently discarded.^{[upper-alpha 4]}

Pseudocode

(Overlap-save algorithm for linear convolution)
h = FIR_impulse_response
M = length(h)
overlap = M − 1
N = 8 × overlap    (see next section for a better choice)
step_size = N − overlap
H = DFT(h, N)
position = 0

while position + N ≤ length(x)
    yt = IDFT(DFT(x(position+(1:N))) × H)
    y(position+(1:step_size)) = yt(M : N)    (discard M−1 y-values)
    position = position + step_size
end

Efficiency considerations

Fig 2: A graph of the values of N (an integer power of 2) that minimize the cost function ${\displaystyle {\tfrac {N\left(\log _{2}N+1\right)}{N-M+1}}}$

When the DFT and IDFT are implemented by the FFT algorithm, the pseudocode above requires about N (log₂(N) + 1) complex multiplications for the FFT, product of arrays, and IFFT.^{[upper-alpha 5]} Each iteration produces N-M+1 output samples, so the number of complex multiplications per output sample is about:

${\displaystyle {\frac {N(\log _{2}(N)+1)}{N-M+1}}.\,}$

(Eq.3)

For example, when M=201 and N=1024, Eq.3 equals 13.67, whereas direct evaluation of Eq.1 would require up to 201 complex multiplications per output sample, the worst case being when both x and h are complex-valued. Also note that for any given M, Eq.3 has a minimum with respect to N. Figure 2 is a graph of the values of N that minimize Eq.3 for a range of filter lengths (M).

Instead of Eq.1, we can also consider applying Eq.2 to a long sequence of length ${\displaystyle N_{x}}$ samples. The total number of complex multiplications would be:

${\displaystyle N_{x}\cdot (\log _{2}(N_{x})+1).}$

Comparatively, the number of complex multiplications required by the pseudocode algorithm is:

${\displaystyle N_{x}\cdot (\log _{2}(N)+1)\cdot {\frac {N}{N-M+1}}.}$

Hence the cost of the overlap–save method scales almost as ${\displaystyle O\left(N_{x}\log _{2}N\right)}$ while the cost of a single, large circular convolution is almost ${\displaystyle O\left(N_{x}\log _{2}N_{x}\right)}$.

Overlap–discard

Overlap–discard^[1] and Overlap–scrap^[2] are less commonly used labels for the same method described here. However, these labels are actually better (than overlap–save) to distinguish from overlap–add, because both methods "save", but only one discards. "Save" merely refers to the fact that M − 1 input (or output) samples from segment k are needed to process segment k + 1.

See also

• Overlap–add method

Notes

References

External links

• Dr. Deepa Kundur, Overlap Add and Overlap Save, University of Toronto