Ai Quoc Dao

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Efficient Computation

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Meng-Che Wu, Ai Quoc Dao, Mark Po-Hung Lin
A Novel Technology Mapper for Complex Universal Gates. ASP-DAC (2021)
Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, Robert K. Brayton
Efficient computation of ECO patch functions. DAC (2018)
Ai Quoc Dao, Mark Po-Hung Lin, Alan Mishchenko
SAT-Based Fault Equivalence Checking in Functional Safety Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (12) (2018)