Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems | IEEE Conference Publication | IEEE Xplore