New fault models and efficient BIST algorithms for dual-port memories | IEEE Journals & Magazine | IEEE Xplore