The GSAT chip solves logic satisfiability problems. Given a Boolean expression (in a specific but general canonical form called 3CNF), the chip uses a randomized algorithm (GSAT) to find a truth assignment to the variables which satisfies the expression. The expression is kept in 4kB of off-chip SRAM, and the work variables (128) are kept in on-chip register space.