Self-timed full adder designs based on hybrid input encoding