Implicit cube-distance fault modeling for verification and functional testing applications