olomon codes. Reed-Muller codes are denoted by RM(d,r) notation, where d is the order of the code, and r determines the length of code n = 2r. Reed-Muller codes are related to binary functions on field GF(2') over the elements {0, 1}. It can be shown that RM(0,r) codes are repetition codes of length n = 2', rate R = 1/n, and minimum distance dmin = n, and RM(1,r) codes are parity check codes of length n = 2', rate R = (r + 1)/n, and mini- mum distance dmin = n/2. Reed-Muller codes have the following properties [15]: 1. The set of all possible exterior products of up to dof Vi form a basis for F2. The rank of RM(d,r) code is defined 3. RM(d,r) = RM(d,1 1)|RM(d- l' denotes the bar product of two codes. 4. RM(d,r) has minimum Hamming weight 2d-r. New Radio Access Physical Layer Aspects (Part 2) 613 Table 4.26: Rate-matched UCI output sequence length EUCI [7]. UCI(s) for Transmission on a PUCCH UCI for Encoding Value of EUCI HARQ-ACK HARQ-ACK Euci = ET HARQ-ACK, SR HARQ-ACK, SR EUCI = ET CSI (consisting of EUCI = ET one part) HARQ-ACK, CSI HARQ-ACK, CSI EUCI = ET (consisting of one part) HARQ-ACK, SR, HARQ-ACK, SR, EUCI = ET CSI (CSI not of two parts) CSI (consisting of CSI Part 1 two parts) CSI Part 2 HARQ-ACK, CSI HARQ-ACK, CSI Euci = (consisting of two Part 1 parts) CSI Part 2 EUCI = - HARQ-ACK, SR, HARQ-ACK, SR, Euci = CSI (consisting of CSI Part 1 two parts) CSI Part 2 information bits are encoded with polar encoder by setting the parameters as follows: nmax = 10, I = 0, NPC =3, nwm=0. The output bits following the encoding are denoted by do, d1,..., dN-1, where N is the number of coded bits. For PUCCH format 2/3/4, the total rate-matched output sequence length ET is given by Table 4.26, where NPUCCHEZ symb,UCI' Nsymb,UCI denote the number of symbols carry- ing UCI for PUCCH format 2/3/4;NPUCCH,NPUCCHare the number of PRBs that are determined by the UE for PUCCH format 2/3 transmission; and NPUCCH,4 spreading factor for PUCCH format 4 [7,8]. The rate matching is performed by setting IBIL = 1 and the rate matchin