Sign in
Mertcan Temel
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 4
Top Topics
Real Life
Automated Verification
Fully Automatic
Decision Variables
Top Venues
ACL2
CAV (1)
FMCAD
</>
Publications
</>
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)