Efficient computation of ECO patch functions. - Ai Quoc Dao; Nian-Ze Lee; Li-Cheng Chen; Mark Po-Hung Lin; Jie-Hong R. Jiang; Alan Mishchenko; Robert K. Brayton (DAC, 2018)

SAT-Based Fault Equivalence Checking in Functional Safety Verification. - Ai Quoc Dao; Mark Po-Hung Lin; Alan Mishchenko (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

A Novel Technology Mapper for Complex Universal Gates. - Meng-Che Wu; Ai Quoc Dao; Mark Po-Hung Lin (ASP-DAC, 2021)