草榴社区

Finite Impulse Response (FIR) filters are widely used in communication, consumer electronics, and many other digital signal process (DSP) applications. A FIR filter includes a complex pipelined datapath based on arithmetic functions such as multipliers with its output at any given time depending on the previous state. Exhaustive verification of an FIR filter is important to catch all possible design issues. In this 草榴社区 webinar, we will showcase how to use 草榴社区 VC Formal DPV, a formal verification app for datapath validation, to accomplish the challenging verification tasks.