Khaled M. Elleithy, Magdy A. Bayoumi. A formal design methodology for parallel architectures. In Application Specific Array Processors, ASAP 1990. Proceedings of the International Conference on, Princeton, NJ, USA, 5-7 Sept., 1990. pages 603-614, IEEE, 1990. [doi]
Abstract is missing.