Parametric yield driven resource binding in behavioral synthesis with multi-Vth/Vdd library | IEEE Conference Publication | IEEE Xplore