A VHDL based test environment including models for equivalence fault collapsing | IEEE Conference Publication | IEEE Xplore