Synthesizing for scan dependence in built-in self-testable designs | IEEE Conference Publication | IEEE Xplore