Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation | IEEE Conference Publication | IEEE Xplore