Towards SAT-Based SBST Generation for RISC-V Cores | IEEE Conference Publication | IEEE Xplore