Multi-digit quaternary adder on programmable device : Design & verification | IEEE Conference Publication | IEEE Xplore