GSAT Group


Our chip in a nutshell

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.

Final Report (Second semester)

Summary report submitted to MOSIS

Final Report (First semester)

Functional Unit Status

Initial Proposal

Functional Description

Simple block diagram: GIF, EPS, FIG (Updated!)

Early transistor and pin count

Functional Unit Designs (see the block diagram)

Programs

Members


Valid HTML 4.0! Valid CSS!

Last modified: Tue May 2 01:52:19 CDT 2000