PODEM-X: An Automatic Test Generation System for VLSI Logic Structures | IEEE Conference Publication | IEEE Xplore