Impact of Variability Compensation on the Performance of an RRAM-based 3-SAT Solver

The impact of variability on the performance of an RRAM-Computing-in-Memory-based architecture solving 3-SAT unconstrained optimization problems is evaluated. Realistic CMOS variability parameters were extracted from a 28nm CMOS technology, while RRAM variability parameters were taken from measured devices reported in the literature. It is shown by extensive Monte Carlo simulations that a naïve implementation shows two different error characteristics with respect to (I) produce faulty solutions and (II) tendency for premature termination of iteration loops. A new variability compensation scheme is proposed, elaborated and evaluated for 3-SAT problems up to 200 variables and 860 clauses. By application of the proposed compensation scheme errors of type (I) and (II) are completely eliminated.

Authors

Publication Details

Published
2025-05-25
DOI
https://doi.org/10.1109/iscas56072.2025.11043674
Citations
1
Primary Topic
Scheduling and Optimization Algorithms
Type
article
Field-Weighted Citation Impact
1.24
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Impact of Variability Compensation on the Performance of an RRAM-based 3-SAT Solver

John Paul Strachan, Arne Heittmann, Mohammad Hizzani
1 citations
Scheduling and Optimization Algorithms
1.24
article

Impact of Variability Compensation on the Performance of an RRAM-based 3-SAT Solver

John Paul Strachan, Arne Heittmann, Mohammad Hizzani
article en
1 citations

Abstract

The impact of variability on the performance of an RRAM-Computing-in-Memory-based architecture solving 3-SAT unconstrained optimization problems is evaluated. Realistic CMOS variability parameters were extracted from a 28nm CMOS technology, while RRAM variability parameters were taken from measured devices reported in the literature. It is shown by extensive Monte Carlo simulations that a naïve implementation shows two different error characteristics with respect to (I) produce faulty solutions and (II) tendency for premature termination of iteration loops. A new variability compensation scheme is proposed, elaborated and evaluated for 3-SAT problems up to 200 variables and 860 clauses. By application of the proposed compensation scheme errors of type (I) and (II) are completely eliminated.

Openalex Percentile: Top 18%
Scheduling and Optimization Algorithms
1.24
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.