Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
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-17
Draft paper submission deadline
2016-08-15
Draft paper acceptance notification

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.

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Oct 07

    2016

    Conference Date

  • Jul 17 2016

    Draft paper submission deadline

  • Aug 15 2016

    Draft Paper Acceptance Notification

  • Oct 07 2016

    Registration deadline