The design of embedded systems realised in System-on-Chip (SoC) form is increasingly turning to the use of configurable and extensible processors. Such designs start at a high level of abstraction, ...