Gate sizing in MOS digital circuits with linear programming | IEEE Conference Publication | IEEE Xplore