Transistor Sizing for Parameter Obfuscation of Analog Circuits Using Satisfiability Modulo Theory | IEEE Conference Publication | IEEE Xplore