Automatic Generation of High Performance Embedded Memory Models for PowerPC Microprocessors | IEEE Conference Publication | IEEE Xplore