Dynamic Function Verification for System on Chip Security Against Hardware-Based Attacks | IEEE Journals & Magazine | IEEE Xplore