94 citations · 135 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…
Capstan: A Vector RDA for Sparsity
Alexander Rucker, Matthew Vilim, Tian Zhao +3
This paper proposes Capstan: a scalable, parallel-patterns-based, reconfigurable dataflow accelerator (RDA) for sparse and dense tensor applications. Instead of designing for one a…