@inproceedings{14f15c1b3e4c46398dde170f91ebfb6e,
title = "Inductive techniques for formal verification of systolic array designs in dsp applications",
abstract = "In this paper we show how several inductivc techniques can be utilized to provide fast and efficient proofs to the correctness of systolic designs in digital signal processing (DSP) applications. These techniques exploit the repeatability, regularity, and locality nature of systolic arrays and algorithms in DSP to produce fast proofs independent on the array size. We show how inductive techniques can be applied to different array topologies suitable for DSP and also illustrate the structure of the verifier we developed to automate induction using logic programming.",
author = "Nam Ling and Timothy Shih and Jonathan Huang",
note = "Publisher Copyright: {\textcopyright} 1992 IEEE.; 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 1992 ; Conference date: 23-03-1992 Through 26-03-1992",
year = "1992",
doi = "10.1109/ICASSP.1992.226555",
language = "???core.languages.en_GB???",
series = "ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "573--576",
booktitle = "ICASSP 1992 - 1992 International Conference on Acoustics, Speech, and Signal Processing",
}