Topic: D3 System Simulation and Validation

Simulation-based validation and verification; acceleration-driven and emulation-based validation; post-silicon verification; online checkers and runtime verification targeting new and traditional architectures and addressing the verification challenge at any level, from system to circuit level; diagnosing and debugging solutions for any of the verification platforms above; testbenches, checkers, assertions and monitor generation for verification; multi-domain simulation techniques; validation of cyber-physical systems, SoCs and emerging architectures.

Chair: Elena Vatajelu, Politecnico de Torino, IT, Contact

Co-Chair: Valeria Bertacco, University of Michigan, US, Contact

Members:

• Mingsong Chen, East China Normal University, CN, Contact
• Adrian Evans, iRoC Technologies, FR, Contact
• Florian Letombe, Synopsys, FR, Contact
• Ronny Morad, IBM Research - Haifa, IL, Contact
• Xiaoke Qin, NVIDIA, US, Contact
• Pablo Sanchez, University of Cantabria, ES, Contact
• Alper Sen, Bogazici University, TR, Contact
• Li Wang, UC Santa Barbara, US, Contact