94 citations · 135 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AR2023
SatIn: Hardware for Boolean Satisfiability Inference
Chenzhuo Zhu, Alexander C. Rucker, Yawen Wang +1
This paper describes SatIn, a hardware accelerator for determining boolean satisfiability (SAT) -- an important problem in many domains including verification, security analysis, a…
cs.AR2023
Revet: A Language and Compiler for Dataflow Threads
Alexander Rucker, Shiv Sundram, Coleman Smith +4
Spatial dataflow architectures such as reconfigurable dataflow accelerators (RDA) can provide much higher performance and efficiency than CPUs and GPUs. In particular, vectorized r…