Software-assisted hardware reliability: Abstracting circuit-level challenges to the software stack | IEEE Conference Publication | IEEE Xplore