next up previous
Next: Variable Evaluation Circuit Up: ELVIS Design Outline Previous: Loadable Bus Mask

Clause Evaluation Circuit

A CEC evaluates each clause. Each CEC uses a bus mask and a ONEACT encoder to determine if exactly one literal complementation has not been asserted.


  
Figure 7: Clause Evaluation Circuit.
\begin{figure}\psfig{figure=cec.ps,width=0.45\textwidth}\end{figure}



2000-04-07