Chih-Neng Chung, Chia-Wei Chang, Kai-Hui Chang, Sy-Yen Kuo. Formal reset recovery slack calculation at the register transfer level. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 571-574, IEEE, 2011. [doi]
Abstract is missing.