The Design and Verification Conference & Exhibition Europe (DVCon Europe) will take place in Munich on 14 – 15 October, 2014.
It builds on the success of the US DVCon series, but sponsors Accellera, the European program committee, its industrial partners and local organizers, including ECSI, have focused this event on system design and verification issues.
Among the program topics that have caught our eye are:
- A tutorial entitled “An Introduction to using Event-B for Cyber-Physical System Specification and Design”, discussing how “a proof-based modeling language and method that enables the systematic development of specifications using a formal notion of refinement” can be applied to cyber-physical systems, that is, integrations of computing and physical mechanisms to provide physical services such as transportation, energy distribution, manufacturing, medical care and critical-infrastructure management.
- A full-morning tutorial on “Enabling Energy-Aware System Level Design with UPF-Based System Level Power Models”
- A tutorial on metrics-driven verification, whose authors claim its scope will be “ambitious and vast”. More prosaically, it will discuss how to choose what information to measure, how to focus that information into meaningful feedback, and how to structure that feedback to reduce “decision churn”.
- A keynote speech on the Tuesday morning from Bernd Adler, wireless CTO and divisional vice president of the platform engineering group. at Intel Mobile Communications.
According to Ana Pinzari of ECSI, more than 100 papers have been submitted, the main exhibit space has sold out to relevant vendors including Cadence, Mentor and Synopsys, and the event has support from major European industrial players such as ST, Intel Mobile Communication, Infineon, and NXP.