Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core. - Qiang Qiang; Chia-Lun Chang; Daniel G. Saab; Jacob A. Abraham (ICCD, 2005)

A compact multi-input thermoelectric energy harvesting system with 58.5% power conversion efficiency and 32.4-mW output power capability. - Chia-Lun Chang; Tai-Cheng Lee (ISIC, 2014)

A Compact Multi-Input Power Conversion System with High Time-Efficiency Inductor-Sharing Technique for Thermoelectric Energy Harvesting Applications. - Chia-Lun Chang; Tai-Cheng Lee (J. Circuits Syst. Comput., 2016)