The design and verification of a high-performance low-control-overhead asynchronous differential equation solver
K.Y. Yun, Peter A. Beerel, Vida Vakilotojar, A.E. Dooply, J. Arceo · 2002
This paper describes the design and verification of a high-performance asynchronous differential equation solver. The design has low control overhead which allows the average-case delay to be 48% faster (tested at 22/spl deg/C and 3.3 V) than any comparable synchronous design (simulated at 100/spl deg/C and 3 V). The techniques to reduce completion sensing overhead and hide control overhead at the circuit, architectural, and protocol levels are discussed. In addition, symbolic model checking techniques are described that were used to gain higher confidence in the correctness of the timed distributed control.