Verificação do overflow gerado nas operações aritméticas. Eu coloquei em um always separado, mas eu estou receioso, pois eu acho que não vai funcionar adequadamente.
Adicionando arquivos pdf
Tratamento de conflitos