Generating Single- and Double-Pattern Tests for Multiple CMOS Fault Models in One ATPG Run | IEEE Journals & Magazine | IEEE Xplore