Methods and algorithms for converting IC designs between incompatible design systems | IEEE Conference Publication | IEEE Xplore