The Design and Verification Conference & Exhibition Europe (DVCon Europe) is the premier European technical conference on system, software, design, verification, validation or integration. It is a place where the latest methodologies and technologies for the industrial use of tools, languages, and standards for integrated and embedded systems and products are shared and discussed.

The conference covers the application of standards, methodologies, and flows for system-level, hardware and software design, verification, validation, design automation and IP reuse.

Industry applications of interest include (but not limited to) automotive, mobile communication, aerospace, healthcare, chip-cards, consumer and power electronics. DVCon Europe solicits submissions related to advanced design and verification on special interest areas such as Digital Twin, Machine Learning, Internet-of-things, Functional safety and security, AI, ADAS and digitalization.

DVCon Europe 2020 accepts submissions of papers, tutorials and panels with highly technical content reflecting real life experiences. The following are example topics.

SYSTEM-LEVEL AND SOFTWARE DESIGN

Virtual prototyping and Digital Twins
Transaction-level modeling (e.g., SystemC TLM)
Hardware-assisted prototyping
Hardware/software/embedded co-design
Machine Learning

MODEL-BASED AND MODEL SUPPORTED SOFTWARE DESIGN

Software for verification
Software development and verification
Model based software design
Low level software design and verification
Model based tools and techniques for application level software.

VERIFICATION & VALIDATION

Verification process, reuse and resource management
Methods bridging between verification and validation
Hardware/software co-verification
Advanced methodologies, testbenches, and flows (e.g., UVM, HDLs, HVLs)
Formal and semi-formal V&V techniques

IP REUSE & DESIGN AUTOMATION

High-level synthesis from ESL languages
Interoperability of models and/or tools
IP tagging, protection or security
SoC and IP integration methods, flows, and tools
Configuration management of IPs including different abstraction level
Flow and tool automation (e.g., IP-XACT)

FUNCTIONAL SAFETY AND SECURITY

Methods and flows for functional safety standard compliance (e.g., ISO 26262, DO-254)
Safety and security in verification and validation
Requirements-driven design and verification including traceability
New methods and tools supporting functional safety and security

MIXED-SIGNAL AND LOW-POWER DESIGN AND VERIFICATION

AMS modeling for concept and system-level design
Application of mixed-signal extensions in verification (e.g., UVM-MS)
Real-number modeling approaches
Self-checking testbenches in analog verification
Low-power design and verification (e.g., UPF)