Supervisors

This document is the result of a Master Thesis in Computer Engineering, describing the analysis, speci cation and implementation of The rst prototype of Socrates, a congurable, scalable and predictable platform for System-on-chip Multiprocessor system for real-time applications. The design time of System-on-a-Chip (SoC) is today rapidly increasing due to high complexity and lack of eÆcient tools for development and verication. By combining all the functions into one chip the system becomes smaller, faster, and less power consuming but increasing the complexity. To decrease the time-to-market SoCs are entirely or partially build with IP-components. Thanks to SoC, a whole new domain of products, like small hand held devices, has emerged. The concept has been around a few years now, but there are still challenges that needs to be resolved. There is a lack of standards for enabling fast mix and match of cores from dierent vendors. Further needs are new design methods, tools, and verication techniques. SoC solutions needs special kind of CPUs that consumes less power, is cheaper, smaller, but still has high-performance requirements. To fulll all these demands, they are getting more and more complex as the number of transistors are rapidly growing which has led to the emerging of multiprocessors systems-on-a-chip. Our initial question is to investigate if it is possibl