STA: a tool for systolic array reasoning
暂无分享,去创建一个
[1] J. M. Jover,et al. On the Analysis of Synchronous Computing Arrays , 1986 .
[2] C.-C. Jay Kuo,et al. The specification and verification of systolic wave algorithms , 1984 .
[3] Matthew Hennessy. Proving systolic systems correct , 1986, TOPL.
[4] Rami G. Melhem,et al. A Mathematical Model for the Verification of Systolic Networks , 1984, SIAM J. Comput..
[5] S. Kung,et al. VLSI Array processors , 1985, IEEE ASSP Magazine.
[6] Paolo Prinetto,et al. Formal verification of hardware correctness: introduction and survey of current research , 1988, Computer.
[7] Magdy A. Bayoumi,et al. Algorithms for High Speed Multi-Dimensional Arithmetic and DSP Systolic Arrays , 1988, ICPP.