A Formal Design of Parallel CRC Circuit | IEEE Conference Publication | IEEE Xplore