Login / Signup
Yuqi Mai
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Model Counting
Heuristic Search
Satisfiability Testing
Logic Synthesis
Top Venues
DATE
</>
Publications
</>
Chang Meng
,
Hanyu Wang
,
Yuqi Mai
,
Weikang Qian
,
Giovanni De Micheli
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting.
DATE
(2024)
Chang Meng
,
Jiajun Sun
,
Yuqi Mai
,
Weikang Qian
MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis.
DATE
(2023)