Mertcan Temel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ARITH | On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. | Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd |
| 2024 | DATE | Formal Verification of Booth Radix-8 and Radix-16 Multipliers. | Mertcan Temel |
| 2024 | TACAS | VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification. | Mertcan Temel |
| 2021 | FMCAD | Sound and Automated Verification of Real-World RTL Multipliers. | Mertcan Temel, Warren A. Hunt |
| 2020 | CAV | Automated and Scalable Verification of Integer Multipliers. | Mertcan Temel, Anna Slobodov, Warren A. Hunt |