The design and verification of a high-performancelow-control-overhead asynchronous differential equation solver

摘要

This paper describes the design and verification of anhigh-performance asynchronous differential equation solver benchmarkncircuit. The design has low-control-overhead which allows itsnaverage-case speed (tested at 22°C and 3.3 V) to be 48% faster thannany comparable synchronous design (designed to operate at 100°C andn3 V for the slow process corner). The techniques to reduce completionnsensing overhead and hide control overhead at the circuit,narchitectural, and protocol levels are discussed. In addition, symbolicnmodel checking techniques are described that were used to gain highernconfidence in the correctness of the timed distributed control