COCONUT EU project (Booth: EP1)

Contact: Graziano Pravadelli

Dipartimento di Informatica - Università di Verona Strada le Grazie 15, 37134 Verona, Italy Tel: +39 045 8027081 Fax: +39 045 8027068

E-Mail: graziano.pravadelli@univr.it
Website: COCONUT EU Project

The COCONUT project is intended to propose a modelling and verification flow to enhance and speed-up embedded platform’s design and configuration of mixed continuous/discrete models. In this context, the scientific and technological objective of the COCONUT project consists of developing a systematic methodology and a set of tools to integrate correct-by-construction refinement/abstraction and post-refinement verification methods into a platform-based design flow.
At the booth, COCONUT partners present the project main flow, demo of tools, and relevant results.

ASIC and SOC Design:
Behavioural Modelling & Simulation
Verification

System-Level Design:
Behavioural Modelling & Analysis
Hardware/Software Co-Design