Just-in-Time Verification in ADL-Based Processor Design
Embedded systems increasingly feature a Multi-Processor System-on-Chip (MPSoC) architecture at their core. Driven by partly contradicting constraints such as performance and energy efficiency, these MPSoCs are most likely heterogeneous, i.e. comprising processors with different architectures suited for different types of tasks. Examples are general-purpose, digital signal or Application-Specific Instruction-set Processors (ASIPs) tailored towards a certain application domain. While for the first two designers can resort to off-the-shelf components by various vendors, ASIPs are by nature custom designs.