Paul G. Lucassen, Jan Tijmen Udding. On the correctness of the Sproull counterflow pipeline processor. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 112-120, IEEE Computer Society, 1996. [doi]
Abstract is missing.