Logical circuit gate sizing using PSO guided by Logical Effort — An examination of the 4-stage half adder circuit | IEEE Conference Publication | IEEE Xplore