FA-91495 / Digital signal filters / Member archive

Q15 smoother rejects alpha = 1.0 · case 05

alpha = 32768 (pass-through) returns "bad-alpha".

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Input [alpha, samples]; alpha is Q15 in [0, 32768] ("bad-alpha" otherwise). Inputs are saturated to int16; y += ((x - y) * alpha + 2**14) >> 15 (round half up on the Q15 product via arithmetic shift), starting at y = 0. Return the integer outputs.

Why this case matters

Fixed-point exponential smoothers run on microcontrollers; rounding direction and saturation slips cause bias and limit cycles.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: random smoother 5	`"bad-alpha"`	`[5, 7014, 32767]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.