Design methodologies for simulation translators (with a case study) | IEEE Journals & Magazine | IEEE Xplore