SoC gate level design migration | IEEE Conference Publication | IEEE Xplore