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]
No references recorded for this publication.
No citations of this publication recorded.