/cv.v/1.3/Tue Dec 10 21:46:58 2002//
/cvcomp10b.v/1.1/Tue May 21 23:55:43 2002//
/cvcompl.v/1.1/Tue May 21 23:55:43 2002//
/cvcompr.v/1.1/Tue May 21 23:55:43 2002//
/cvg.v/1.2/Fri Nov 22 00:34:20 2002//
/cvgtest.v/1.1/Tue May 21 23:55:43 2002//
/cvmask.v/1.1/Tue May 21 23:55:43 2002//
/cvoffset.v/1.1/Tue May 21 23:55:43 2002//
/cvpipe.v/1.2/Fri Nov 22 00:34:20 2002//
/cvvalue.v/1.1/Tue May 21 23:55:43 2002//
/cvxcnt.v/1.4/Fri Jan 24 23:07:36 2003//
D