Partitioning algorithm to enhance pseudoexhaustive testing of digital VLSI circuits | IEEE Journals & Magazine | IEEE Xplore