Inductive techniques for formal verification of systolic array designs in DSP applications.

Nam Ling, Timothy K. Shih, Jonathan Huang

Browse the full ICASSP paper archive.