$Id: README,v 1.2 1997/03/01 21:46:39 fabio Exp $

This directory contains a collection of 6x6 array multipliers.
Two of them are correct and two are buggy. The script in this directory
checks the equivalence of pairs of multipliers using res_verify.