Chih-Neng Chung, Chia-Wei Chang, Kai-Hui Chang, Sy-Yen Kuo
Formal reset recovery slack calculation at the register transfer level
DATE, 2011.
@inproceedings{DATE-2011-ChungCCK,
author = "Chih-Neng Chung and Chia-Wei Chang and Kai-Hui Chang and Sy-Yen Kuo",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "571--574",
publisher = "{IEEE}",
title = "{Formal reset recovery slack calculation at the register transfer level}",
year = 2011,
}