Test generation for non-separable RTL controller-datapath circuits using a satisfiability based approach | IEEE Conference Publication | IEEE Xplore