Logic synthesis and verification on fixed topology | IEEE Conference Publication | IEEE Xplore