Verification of transactional memory in POWER8
Allon Adir, Dave Goodman, et al.
DAC 2014
Sensitivities of the dynamic system responses with respect to the system parameters are highly valuable, with broad applications such as system tuning and uncertainty quantifi-cation. Compared to the direct methods, adjoint methods are much more efficient when the number of parameters is large. In this paper, we present a time-unrolling method to compute adjoint sensitivities. Instead of explicitly con-structing the adjoint system, which quite often is nontrivial, our time-unrolling method implicitly retrace the response trajectory by utilizing the fitting polynomial of the integra-tion methods. This paper provides theoretical foundation of the method as well as experimental demonstrations of its effectiveness. Copyright 2014 ACM.
Allon Adir, Dave Goodman, et al.
DAC 2014
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Johannes Koesters, Alex Goryachev
DAC 2014
Raymond Wu, Jie Lu
ITA Conference 2007