https://9dok.net/document/y8gnpev2-self-checking-carry-select-adder-with-sum-duplication.html