Nam Ling, Timothy K. Shih, Jonathan Huang. Inductive techniques for formal verification of systolic array designs in DSP applications. In 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '92, San Francisco, California, USA, March 23-26, 1992. pages 573-576, IEEE Computer Society, 1992. [doi]
Abstract is missing.