Bridging high-level slqvihesis to RTL technology libraries | IEEE Conference Publication | IEEE Xplore