Formal error analysis and verification of a frequency domain equalizer | IEEE Conference Publication | IEEE Xplore