Conference Information
HLDVT 2016: International High-Level Design, Validation, and Test Workshop
Submission Date:
2016-07-24 Extended
Notification Date:
Conference Date:
Silicon Valley, California, USA
Viewed: 7508   Tracked: 1   Attend: 0

Call For Papers
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.

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.

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. Panels and special session proposals are also invited. All submissions must be made electronically in PDF format, using the paper submission web site:

Paper Publication and Presenter Registration: The submission of a paper or panel proposal will be considered as evidence that upon acceptance, the author(s) will present their work. For the papers to appear in the program and proceedings, at least one full workshop registration by an author is required before the submission of the camera-ready version. IEEE reserves the right to exclude a paper from distribution (e.g., removal from IEEE Xplore) if the paper is not presented at the workshop.
Last updated by Dou Sun in 2016-07-22
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1CICLingInternational Conference on Computational Linguistics and Intelligent Text Processing2019-01-102019-02-202019-04-07
ICCDAInternational Conference on Computer Design and Applications2011-03-012011-03-152011-05-27
b3ICSNCInternational Conference on Systems and Networks Communications2023-08-102023-09-182023-11-13
ba*a2PerComInternational Conference on Pervasive Computing and Communications2024-09-302024-12-312025-03-17
ICAIFACM International Conference on AI in Finance2020-05-292020-07-312020-10-15
OpenMPConOpenMP Developers Conference2021-07-052021-07-262021-09-13
aAMCISAmericas Conference on Information Systems2018-02-282018-04-172018-08-16
HotWebIEEE Workshop on Hot Topics in Web Systems and Technologies2016-06-152016-08-312016-10-24
IEEE ICCAInternational Conference on Control & Automation2020-01-312020-03-152020-07-06
b3MOBIWACInternational Symposium on Mobility Management and Wireless Access2023-07-152023-08-152023-10-30
Related Journals
CCFFull NameImpact FactorPublisherISSN
cMedical Image Analysis10.70Elsevier1361-8415
International Journal of High Performance Computing Applications SAGE1094-3420
Design Automation for Embedded Systems0.900Springer0929-5585
bACM Transactions on Design Automation of Electronic Systems0.85ACM1084-4309
Universal Access in the Information Society3.078Springer1615-5289
IPSJ Transactions on Computer Vision and ApplicationsInformation Processing Society of Japan1882-6695
bSoftware Testing, Verification and Reliability0.762John Wiley & Sons, Ltd1099-1689
Software Testing Verification and Reliability1.171Wiley-Blackwell0960-0833
International Journal of Wireless Information Networks1.500Springer1068-9605
International Journal of Embedded Systems and Applications AIRCC1839-5171