A Light-weight Sanity Check for Implemented Architectures