6 bit dadda reduction .....................\dadda.PRJ .....................\dadda.v .....................\testbench.V .....................\VeriWell.key .....................\VeriWell.log