A new framework for automatic generation, insertion and verification of memory built-in self test units | IEEE Conference Publication | IEEE Xplore