Speeding up power verification by merging equivalent power domains in RTL design with UPF. - Charles Chia-Hao Hsu; Charles H.-P. Wen (ITC-Asia, 2017)

P4-TPG: Accelerating Deterministic Parallel Test Pattern Generation by Preemptive, Proactive, and Preventive Schedulings. - Louis Y.-Z. Lin; Charles Chia-Hao Hsu; Charles H.-P. Wen (IEEE Access, 2019)