Automated and Scalable Verification of Integer Multipliers. - Mertcan Temel; Anna Slobodová; Warren A. Hunt (CAV (1), 2020)

RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2. - Mertcan Temel (ACL2, 2020)

Sound and Automated Verification of Real-World RTL Multipliers. - Mertcan Temel; Warren A. Hunt (FMCAD, 2021)

Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2. - Mertcan Temel (ACL2, 2022)

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. - Theo Drane; Samuel Coward; Mertcan Temel; Joe Leslie-Hurd (ARITH, 2024)

Formal Verification of Booth Radix-8 and Radix-16 Multipliers. - Mertcan Temel (DATE, 2024)

VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification. - Mertcan Temel (TACAS (1), 2024)