A partition and resynthesis approach to testable design of large circuits | IEEE Journals & Magazine | IEEE Xplore