Discrete Vt assignment and gate sizing using a self-snapping continuous formulationSaumil ShahAshish Srivastavaet al.2005ICCAD 2005