An implementation of flush channels based on a verification methodology | IEEE Conference Publication | IEEE Xplore