Abbrevation
HLDVT
City
Santa Cruz
Country
United States
Deadline Paper
Start Date
End Date
Abstract

The 18th HLDVT workshop aims to bring together a community of researchers in the areas of design validation and test of hardware, software, cyber&#8211;physical systems, biological systems, and biochips&#046; The workshop addresses the integration of multiple functions on&#8211;chip/in&#8211;system at higher levels of design abstraction, and the techniques and methodologies for modeling, analyzing, and validating such systems&#046; 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&#046;<br>Topics of interest include, but are not limited to:<br>&#8211; Simulation&#8211;Based Validation<br>&#8211; Formal Verification, and Hybrid Methods<br>&#8211; Design Abstraction, and Behavioral Modeling<br>&#8211; Error Trace Interpretation, and Debugging<br>&#8211; Functional Safety/Safety&#8211;critical System Verification<br>&#8211; On&#8211;Chip, and Core&#8211;Based Testing<br>&#8211; Test Generation for Defects, Design Errors, and Delay Faults<br>&#8211; Hardware/Software, and Mixed&#8211;signal System Co&#8211;Validation<br>&#8211; Emulation, and Prototyping<br>&#8211; Post&#8211;silicon Validation, and Debug&#046;<br>