1.1)  Inicialmente, enquadra-se a IE numa das linhas da tabela 2), identificando a UF e utilizando o critério de enquadramento, e se confere o seu tamanho, que deve coincidir com o contido na coluna Tam. Só se deve considerar os dígitos de 0 a 9, incluindo posições que contêm o dígito verificador (DV), e deixando de lado os separadores, como '.', '-' ou '/'.
 
1.2)  Depois, confere-se a formação de cada um dos dígitos, contando a posição de cada um deles da direita para a esquerda, e comparando-os com os valores nas colunas de Valores possíveis para os dígitos, cujo conteúdo é esclarecido no item 3) abaixo.

1.3)  Confere-se o dígito verificador DVX, utilizando para cada caso os seguintes procedimentos: Primeiro, se multiplica cada dígito di pelo peso pi na tabela de pesos (coluna TP) correspondente, obtendo-se novos valores mi e calcula-se ainda a soma S de todos os mi. As tabelas de pesos são identificadas como P1 a P13, e estão todas relacionadas no item 5) abaixo.

1.4)  Em seguida, se executam rotinas que variam de uma caso para outro, segundo a coluna Rot, e que são definidas em 4) abaixo.

1.5)  Se o DV obtido em 1.4) for 10, substitui-se o DV por zero; se for 11, substitui-se o mesmo pelo Fator f correspondente. Compara-se então o DV calculado com aquele contido na posição em que está DVX, verificando assim a validade desse último.

1.6)  Caso a IE também possua um outro dígito verificador DVY, repete-se os passos 1.3) a 1.5), com DVY no lugar de DVX.

1.7)  Pode se simplificar a verificação feita em 1.3) a 1.6), agrupando-se os casos com rotinas de verificação similares. Para DVX, os casos são: i) AC/1, AP/3, AM, CE, ES, GO/2, MA, MS, PA, PB, PI, SC, SE, AC/2, BA/1, BA/2, DF, GO/1, MT, PR, PE, RJ, RS, RO e TO, que usam a mesma rotina E, sendo que os parâmetros f, Md e TP são iguais nos primeiros treze casos relacionados (de AC/1 a SE), diferindo nos demais casos; ii) AL e RN, usando B e D; iii) AP/1 e AP/2, usando C e E; iv) SP/1, SP/2 e RR, usando D; v) MG, usando A e E. No cálculo de DVY, todos usam a rotina E, exceto SP/1.

3) VALORES POSSÍVEIS PARA OS DÍGITOS

M/N - Posição em que é aceito qualquer algarismo, de M a N (p.ex. 0/9 significa de 0 a 9).
DV - Dígito verificador, aceita qualquer algarismo de 0 a 9.
-- - Posição não usada, acima do tamanho da IE,
=N - Posição sempre ocupada pelo algarismo ou letra N (não se usam letras no cálculo do DV).
=M,N,P - Posição ocupada só pelos algarismos M,N ou P.

4) DEFINIÇÃO DAS ROTINAS DE CÁLCULO DOS DÍGITOS

A - Divide-se cada valor m_i por 10, chama-se de q_i o quociente inteiro obtido e incrementa-se o valor de S pela soma de todos os valores q_i
B - Multiplica-se S por 10, obtendo-se novo S
C - Soma-se (5+4*f) a S, onde f é o Fator  f da tabela 2), obtendo-se novo S
D - Divide-se S pelo módulo Md e o digito verificador DV  será o resto da divisão
E - Divide-se S pelo módulo Md, chama-se de R o resto da divisão e calcula-se DV = Md-R

5)  TABELAS  DE  PESOS

POS	14	13	12	11	10	9	8	7	6	5	4	3	2	1
TP	PESOS
P1	6	5	4	3	2	9	8	7	6	5	4	3	2	0
P2	5	4	3	2	9	8	7	6	5	4	3	2	0	0
P3	6	5	4	3	2	9	8	7	6	5	4	3	0	2
P4	0	0	0	0	0	0	0	0	6	5	4	3	2	0
P5	0	0	0	0	0	1	2	3	4	5	6	7	8	0
P6	0	0	0	9	8	0	0	7	6	5	4	3	2	0
P7	5	4	3	2	1	9	8	7	6	5	4	3	2	0
P8	8	7	6	5	4	3	2	7	6	5	4	3	2	0
P9	7	6	5	4	3	2	7	6	5	4	3	2	0	0
P10	0	1	2	1	1	2	1	2	1	2	1	2	0	0
P11	0	3	2	11	10	9	8	7	6	5	4	3	2	0
P12	0	0	1	3	4	5	6	7	8	10	0	0	0	0
P13	0	0	3	2	10	9	8	7	6	5	4	3	2	0