Discrete circuit optimization library based gate sizing and threshold voltage assignment - Lee, John (Foundations and trends in electronic design automation, 2012)