Chun-Ning LaiJie-Hong R. JiangJIE-HONG JIANG江介宏2019-10-242019-10-2420170738100xhttps://scholars.lib.ntu.edu.tw/handle/123456789/427578Path-Specific Functional Timing Verification under Floating and Transition Modes of Operationconference paper10.1145/3061639.30622992-s2.0-85023647085