| Automated and Scalable Verification of Integer Multipliers M Temel, A Slobodova, WA Hunt International Conference on Computer Aided Verification, 485-507, 2020 | 31 | 2020 |
| Sound and automated verification of real-world RTL multipliers M Temel, WA Hunt 2021 Formal Methods in Computer Aided Design (FMCAD), 53-62, 2021 | 15 | 2021 |
| VeSCMul: Verified implementation of SC-Rewriting for multiplier verification M Temel International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| Automated, efficient, and sound verification of integer multipliers M Temel The University of Texas at Austin, 2021 | 3 | 2021 |
| RP-Rewriter: An optimized rewriter for large terms in ACL2 M Temel arXiv preprint arXiv:2009.13765, 2020 | 2 | 2020 |
| Formal Verification of Booth Radix-8 and Radix-16 Multipliers M Temel 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024 | 1 | 2024 |
| Verified implementation of an efficient term-rewriting algorithm for multiplier verification on ACL2 M Temel arXiv preprint arXiv:2205.11703, 2022 | 1 | 2022 |
| On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers T Drane, S Coward, M Temel, J Leslie-Hurd 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH), 108-115, 2024 | | 2024 |
