Search for European Projects

Smart systems consist of heterogeneous subsystems and components providing different functionalities; they are normally implemented as "Multi-Package on a Board". To fully exploit the potential of current nanoelectronics technologies, as well as to enable the integration of existing/new IPs and "More than Moore" devices, smart system miniaturization and "Multi-Chip in a Package" implementation are ...

Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties.The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all r ...