Text this: Implementation and self-checking of different adder circuits