Self-Checking Carry-Select Adder Design Based on Two-Rail Encoding | IEEE Journals & Magazine | IEEE Xplore