Automatic generation and validation of memory test models for high performance microprocessors | IEEE Conference Publication | IEEE Xplore