2 citations · 2 across the 4 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2025
Recurrent CircuitSAT Sampling for Sequential Circuits
Arash Ardakani, Kevin He, John Wawrzynek
In this work, we introduce a novel GPU-accelerated circuit satisfiability (CircuitSAT) sampling technique for sequential circuits. This work is motivated by the requirement in cons…
cs.AR2025★ 2 cited
DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits
Arash Ardakani, Minwoo Kang, Kevin He +4
Efficient sampling of satisfying formulas for circuit satisfiability (CircuitSAT), a well-known NP-complete problem, is essential in modern front-end applications for thorough test…