NVIDIA Interview Question

how to verify an 32bit adder and built upon on that