The building blocks of today's and future embedded systems are complex intellectual property components, or cores, many of which are programmable processors. Traditionally, these embedded processors mostly have been pro- grammed in assembly languages due to efficiency reasons. This implies time- consuming programming, extensive debugging, and low code portability. The requirements of short time-to-market and dependability of embedded systems are obviously...