CRC-Aided Decoding of Polar Codes | Synapse