Mertcan Temel

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Automated Verification

Top Venues

Publications

Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. ARITH (2024)
Mertcan Temel
VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification. TACAS (1) (2024)
Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. CoRR (2024)
Mertcan Temel
Formal Verification of Booth Radix-8 and Radix-16 Multipliers. DATE (2024)
Mertcan Temel
Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2. ACL2 (2022)
Mertcan Temel, Warren A. Hunt
Sound and Automated Verification of Real-World RTL Multipliers. FMCAD (2021)
Mertcan Temel
RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2. ACL2 (2020)
Mertcan Temel, Anna Slobodová, Warren A. Hunt
Automated and Scalable Verification of Integer Multipliers. CAV (1) (2020)