Leakage power optimization with dual-V/sub th/ library in high-level synthesis | IEEE Conference Publication | IEEE Xplore