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]
@inproceedings{LingLSD91,
title = {Automatic formal verification of systolic array designs},
author = {Nam Ling and Fuyau Lin and Timothy K. Shih and Ruth E. Davis},
year = {1991},
doi = {10.1109/ASAP.1991.238910},
url = {https://doi.org/10.1109/ASAP.1991.238910},
researchr = {https://researchr.org/publication/LingLSD91},
cites = {0},
citedby = {0},
pages = {338-354},
booktitle = {Application Specific Array Processors, 1991. Proceedings of the International Conference on, Barcelona, Spain, 2-4 Sept., 1991},
publisher = {IEEE},
isbn = {0-8186-9237-5},
}