1. Evaluation of Digital Circuit Design by Combining Two - and Multi-Level Approximate Logic Synthesis;2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI);2023-06-20
2. Search space characterization for approximate logic synthesis;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10
3. Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking;2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS);2022-04-06
4. MUSCAT: MUS-based Circuit Approximation Technique;2022 Design, Automation & Test in Europe Conference & Exhibition (DATE);2022-03-14
5. Formal Methods for Exact Analysis of Approximate Circuits;IEEE Access;2019