Simulation and Synthesis of Current Mode Logic and Reversible Logic Based Arithmetic Circuits | IEEE Conference Publication | IEEE Xplore