Automatic generation of functional models for embedded processor extensions | IEEE Conference Publication | IEEE Xplore