SoCGuard: A runtime verification solution for the functional correctness of SoCs | IEEE Conference Publication | IEEE Xplore