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.<br>Topics of interest include, but are not limited to:<br>– Simulation–Based Validation<br>– Formal Verification, and Hybrid Methods<br>– Design Abstraction, and Behavioral Modeling<br>– Error Trace Interpretation, and Debugging<br>– Functional Safety/Safety–critical System Verification<br>– On–Chip, and Core–Based Testing<br>– Test Generation for Defects, Design Errors, and Delay Faults<br>– Hardware/Software, and Mixed–signal System Co–Validation<br>– Emulation, and Prototyping<br>– Post–silicon Validation, and Debug.<br>
Abbrevation
HLDVT
Link
City
Santa Cruz
Country
United States
Deadline Paper
Start Date
End Date
Abstract