A tool set for teaching design-for-testability of digital circuits | IEEE Conference Publication | IEEE Xplore