Computational Design and Experimental Validation of SAR Mixers