Topic: D3 Simulation and Validation

Simulation-based verification; post-silicon validation; hardware/software co-simulation and validation; test generation for validation; transaction-level validation; validation using semi-formal methods; testbench generation; design error debug and diagnosis; advanced simulation and emulation techniques from system to circuit level; simulation accelerators; multi-domain simulation techniques for mixed systems; validation of cyber-physical systems, multicore SoCs, and emerging architectures.

Chair: Mark Zwolinski, University of Southampton, GB, Contact

Co-Chair: Prabhat Mishra, University of Florida, US, Contact

Members:

• Andrea Acquaviva, Politecnico di Torino, IT, Contact
• Valeria Bertacco, University of Michigan, US, Contact
• Mingsong Chen, East China Normal University, CN, Contact
• Pallab Dasgupta, Indian Institute of Technology Kharagpur, IN, Contact
• Adrian Evans, Iroc, FR, Contact
• Franco Fummi, Universita' di Verona, IT, Contact
• Rand Gray, Intel Corporation, US, Contact
• Daniel Grosse, Solvertec GmbH, DE, Contact
• Michael Hsiao, Virginia Tech, US, Contact
• Elena Vatajelu, Politecnico de Torino, IT, Contact
• Florian Letombe, Springsoft, FR, Contact
• Ronny Morad, IBM Research - Haifa, IL, Contact
• Edouard Ngoya, XLIM-CNRS, University of Limoges, FR, Contact
• Jaan Raik, Tallinn University of Technology, Department of Computer Engineering, EE, Contact
• Sandip Ray, Intel, US, Contact
• Pablo Sanchez, University of Cantabria, ES, Contact
• Alper Sen, Bogazici University, TR, Contact