Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment

Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan Sutherland. Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. In Dennis Dams, Ulrich Hannemann, Martin Steffen, editors, Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Volume 5930 of Lecture Notes in Computer Science, pages 260-276, Springer, 2010. [doi]

Abstract

Abstract is missing.