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: