MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis. - Chang Meng; Jiajun Sun; Yuqi Mai; Weikang Qian (DATE, 2023)

VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting. - Chang Meng; Hanyu Wang; Yuqi Mai; Weikang Qian; Giovanni De Micheli (DATE, 2024)