Inductive techniques for formal verification of systolic array designs in DSP applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nam Ling' in GoogleThis author has not been identified. Look up 'Timothy K. Shih' in GoogleThis author has not been identified. Look up 'Jonathan Huang' in Google

runs on WebDSL