Formal Reset Recovery Slack Calculation at the Register Transfer Level

C. N. ChungC. W. ChangK. H. ChangSY-YEN KUO2018-09-102018-09-102011-03http://scholars.lib.ntu.edu.tw/handle/123456789/366411Formal Reset Recovery Slack Calculation at the Register Transfer Levelconference paper10.1109/date.2011.57632862-s2.0-79957548552