SAT-Based Sequential Fault Equivalence Identification in Functional Safety Verification

Ai Quoc Dao received the B.S. (2012) and M.S. (2015) degrees in Department of Electrical Engineering, HCMC University of Technology and Education, Ho Chi Minh City, Vietnam. She is currently working toward the Ph.D. degree in Department of Electrical Engineering National Chung Cheng University, Chiayi, Taiwan. Her research interests focus on various electronic design automation problems, specifically in logic synthesis and verification.