IEEE

Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions

Abstract: Processing in-memory has the potential to accelerate high-data-rate applications beyond the limits of modern hardware. Flow-based computing is a computing paradigm for executing Boolean ...
GitHub

Update Java versions (#851)

java-worker.public (TestDocker Docker Integration Tests - Linux Java-11) java-worker.public (TestDocker Docker Integration Tests - Linux Java-17) java-worker.public (TestDocker Docker Integration ...
IEEE

Chameleon-SAT: An Adaptive Boolean Satisfiability Accelerator Using Mixed-Signal In-Memory Computing for Versatile SAT Problems

Abstract: Boolean satisfiability (SAT), the first proven nondeterministic polynominal-complete problem, is crucial in dataintensive applications. Different applications have a wide spectrum of SAT ...