Abstract:
This article presents a stochastic analog Boolean satisfiability (SAT) solver, featuring a fast open-loop architecture with continuous-time (CT) self-loopback pull-up switches, a discrete-time (DT) scrambling scheme, and a cost-efficient hybrid random code generator. The SAT prototype demonstrates 100% solvability and 3.5- $\mu $ s solution time with 8.6-nJ energy consumption for 1000 hard …
 
  
  
 