The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver

Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead which allows its average-case speed (tested at 22C and 3.3V) to be 48% faster than any comparable synchronous design (designed to operate at 100C and 3V for the slow process corner). 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.

• Type: Conference
• Year: 1997
• Where: ASYNC
• Authors: Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, Peter A. Beerel, Vida Vakilotojar
• Keywords: ASYNC 1997, Completion Sensing Overhead, Control Overhead, Hardware, Low Control Overhead