Introduction

The 18th HLDVT workshop aims to bring together a community of researchers in the areas of design validation, and test of hardware, software, cyber-physical systems, biological systems, and biochips. The workshop addresses the integration of multiple functions on-chip/in-system at higher levels of design abstraction, and the techniques and methodologies for modeling, analyzing, and validating such systems. In particular, the workshop has become a unique forum for researchers and practitioners to discuss the practical issues associated with validation of extremely large designs.

Call for paper

Important date

2016-07-24
Abstract submission deadline
2016-08-07
Draft paper submission deadline
2016-08-15
Draft paper acceptance notification
2017-08-31
Final paper submission deadline

Submission Topics

Topics of interest include, but are not limited to:

  • Simulation-Based Validation

  • Formal Verification, and Hybrid Methods

  • Design Abstraction, and Behavioral Modeling

  • Error Trace Interpretation, and Debugging

  • Functional safety/safety-critical system verification

  • On-Chip, and Core-Based Testing

  • Test Generation for Defects, Design Errors, and Delay Faults

  • Hardware/Software, and Mixed-signal System Co-Validation

  • Emulation, and Prototyping

  • Post-silicon Validation, and Debug.

Guidlines

Paper Submission: The Program Committee invites authors to submit papers not to exceed 8 pages in the IEEE two-column conference format with 10-pt font size, describing original and unpublished work. It will be possible to purchase up to 2 additional pages at $100 per page, for a total of 10 pages per paper. Panels and special session proposals are also invited. All submissions must be made electronically in PDF format.

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Oct 07

    2017

    to

    Oct 08

    2017

  • Jul 24 2016

    Abstract Submission Deadline

  • Aug 07 2016

    Draft paper submission deadline

  • Aug 15 2016

    Draft Paper Acceptance Notification

  • Aug 31 2017

    Final Paper Deadline

  • Oct 08 2017

    Registration deadline

Sponsored By
IEEE Computer Society
Contact Information
Previous Conferences