Automated translation of ASIC designs | IEEE Conference Publication | IEEE Xplore