Tightening union bound by applying Verdu theorem for LDPC | IEEE Conference Publication | IEEE Xplore