Formal reset recovery slack calculation at the register transfer level.

Chih-Neng Chung, Chia-Wei Chang, Kai-Hui Chang, Sy-Yen Kuo

Browse the full DATE paper archive.