Nam Ling, Fuyau Lin, Timothy K. Shih, Ruth E. Davis. Automatic formal verification of systolic array designs. In Application Specific Array Processors, 1991. Proceedings of the International Conference on, Barcelona, Spain, 2-4 Sept., 1991. pages 338-354, IEEE, 1991. [doi]
Abstract is missing.