IEEE - Institute of Electrical and Electronics Engineers, Inc. - The use of fixed point induction in verifying systolic array designs: an applicative approach

Proceedings of 36th Midwest Symposium on Circuits and Systems

Author(s): Nam Ling ; Huang, J. ; Shih, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Detroit, MI, USA
Conference Date: 16 August 1993
ISBN (Paper): 0-7803-1760-2
DOI: 10.1109/MWSCAS.1993.343224
Regular:

The paper presents our applicative approach of using fixed point induction principle to verify the correctness of systolic array designs. Fixed point induction exploits the repeatable, regular,... View More

Advertisement