A Lightweight Sanity Check for Implemented Architectures | IEEE Journals & Magazine | IEEE Xplore