Tarvo Raudvere, Ingo Sander, Axel Jantsch. A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 353-358, ACM, 2007. [doi]
Abstract is missing.