Ai Quoc Dao

According to our database, Ai Quoc Dao authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Novel Technology Mapper for Complex Universal Gates.

Meng-Che Wu, Ai Quoc Dao, Mark Po-Hung Lin

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

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

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

Proceedings of the 55th Annual Design Automation Conference, 2018