746 citations · 950 across the 5 of their papers we have counts for
Showing cs.ARShow 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.AR2017
HoLiSwap: Reducing Wire Energy in L1 Caches
Yatish Turakhia, Subhasis Das, Tor M. Aamodt +1
This paper describes HoLiSwap a method to reduce L1 cache wire energy, a significant fraction of total cache energy, by swapping hot lines to the cache way nearest to the processor…