Technical Programme Committee 2017

Printer-friendly version PDF version

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 Ioana Vatajelu, TIMA Laboratory, FR, Contact

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

Members:

  • Flavio M. de Paula, IBM Corporation, US, Contact
  • Adrian Evans, iRoC Technologies, FR, Contact
  • Daniel Grosse, University of Bremen, DE, Contact
  • Graziano Pravadelli, EDALab, IT, Contact
  • Alper Sen, Bogazici University, TR, Contact
  • Shobha Vasudevan, University of Illinois at Urbana-Champaign, US, Contact
  • Sara Vinco, Politecnico di Torino, IT, Contact
  • Li Wang, UC Santa Barbara, US, Contact