Mertcan Temel

According to our database, Mertcan Temel authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification.

Mertcan Temel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Formal Verification of Booth Radix-8 and Radix-16 Multipliers.

Mertcan Temel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.

Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd

Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024

2022

Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2.

Mertcan Temel

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2021

Sound and Automated Verification of Real-World RTL Multipliers.

Mertcan Temel, Warren A. Hunt

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2.

Mertcan Temel

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

Automated and Scalable Verification of Integer Multipliers.

Mertcan Temel, Anna Slobodová, Warren A. Hunt

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020