Create eqcmp.v