Loadable Bus Mask

Next: Clause Evaluation Circuit Up: ELVIS Design Outline Previous: One Active Encoder

Loadable Bus Mask

**Figure 6:** Loadable Bus Mask.
$\begin{figure} \psfig{figure=mask.ps,width=0.45\textwidth}\end{figure}$

This loadable bus mask allows fast formula loading and clause modification. It also supports an unbounded number of literals in a clause, and an unbounded number of occurrences of a particular literal throughout the formula [22].

Next: Clause Evaluation Circuit Up: ELVIS Design Outline Previous: One Active Encoder

2000-04-07