MACTIS-A mask checking timing simulator | IEEE Journals & Magazine | IEEE Xplore