Discrete Vt assignment and gate sizing using a self-snapping continuous formulation | IEEE Conference Publication | IEEE Xplore