Invariance-based on-line test for RTL controller-datapath circuits | IEEE Conference Publication | IEEE Xplore