LDS-ATPG: an automatic test pattern generation system for combinational VLSI circuits | IEEE Conference Publication | IEEE Xplore