posted by system || 5616 views || tracked by 7 users: [display]

HLDVT 2012 : IEEE International High-Level Design, Validation and Test Workshop


Conference Series : High Level Design Validation and Test
When Nov 9, 2012 - Nov 10, 2012
Where Huntington Beach, California
Abstract Registration Due Jun 29, 2012
Submission Deadline Jul 6, 2012
Notification Due Aug 10, 2012
Final Version Due Sep 9, 2012
Categories    design automation   formal methods   validation   test

Call For Papers

****************** IMPORTANT **********************

In response to numerous requests, the submission deadline has been extended. Please note the new submission deadline.

Submission Deadline Extended to June 29, 2012


Call for Papers


HLDVT 2012

IEEE International High-Level Design, Validation and Test Workshop

Huntington Beach, California, November 9-10, 2012


The seventeenth annual workshop HLDVT 2012 aims to bring together a community of researchers in the areas of design, validation, and test. The workshop addresses the integration of multiple functions on-chip 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.

The topics of interest include (but not limited to):

ï Simulation-Based Validation
ï Formal Verification and Hybrid Methods
ï Design Abstraction & Behavioral Modeling
ï Error Trace Interpretation and Debugging
ï On-Chip and Core-Based Testing
ï Test Generation for Defects, Design Errors, and Delay
ï Hardware/Software and Mixed-signal System Co-Validation
ï Emulation and Prototyping
ï Post-silicon Validation and Debug

Paper Submission: The ProgramCommittee invites authors to submit papers not to
exceed 8 pages (IEEE two-column conference format with 10pt minimum 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 webpage: . Please
ensure that all the required contact details are entered during online submission.

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 paper. For the papers to appear in the program and proceedings,
required is at least one full workshop registration by an author before the submission
of 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

Abstract submission deadline: Extended to June 29, 2012

Full paper submission deadline: July 6, 2012

Acceptance Notification: August 10, 2012

Final manuscript: September 9, 2012

Questions regarding paper submissions and the program may be addressed
to the program chair: Samar Abdi,
Other questions may be addressed to the general chair: Prab Varma, Additional pertinent information will be made
available at .

Organizing Committee

General Chair
Prab Varma, Apache Design

Program Chair
Samar Abdi, Concordia Univ.

Past Chair
Zeljko Zilic, McGill Univ.

Special Sessions Chair
Franco Fummi, Univ. di Verona

New Topics Chair
Sandeep Shukla, Virginia Tech

Finance Chair
Shireesh Verma, Intel

Tutorials Chair
Chinna Prudvi, Intel

Publications Chair
Marc Boule, Ecole de Tech. Superieure

Web Publicity Co-chairs
Ismet Bayraktaroglu, Sun
Hiren Patel, Univ. of Waterloo

Prabhat Mishra, Univ. Florida

Program Committee

Giovanni Beltrame, Poly Montreal
Jens Brandt, Univ. Kaiserslautern
Ed Cerny, Synopsys
Tim Cheng, UC Santa Barbara
Franco Fummi, Univ. di Verona
Ali Habibi, Qualcomm
Ian Harris, UC Irvine
John Hayes, Univ. of Michigan
Michael Hsiao, Virginia Tech
Alan Hu, Univ. British Columbia
Mohamed Jmaiel, ReDCAD, ENIS
Mohammadreza Mousavi, Eindhoven Univ.
Nicola Nicolici, McMaster Univ.
Priyadarsan Patra, Intel
Alper Sen, Bogazici Univ.
Jean-Pierre Talpin, INRIA
Aiguo Xie, Calypto
Miroslav Velev, Aries Design Automation
Lochi Yu, Univ. Costa Rica
Avi Ziv, IBM

Steering Committee
Bernard Courtois, CMP-TIMA
Masahiro Fujita, Univ. of Tokyo
Prab Varma, Apache Design


HLDVT 2012 is sponsored by the IEEE Computer Society Test Technology Technical
Council and the IEEE CS Design Automation Technical Committee.

Related Resources

VALID 2021   The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
FM 2021   Formal Methods 2021
VST 2021   4th Workshop on Validation, Analysis and Evolution of Software Tests
ICDEPI-SCOPUS 2021   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2021)
JEDT 2021   International Journal of Electronic Design and Test
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science
HPEC 2021   2021 IEEE High Performance Extreme Computing Conference
FMICS 2021   Formal Methods for Industrial Critical Systems
HLPP 2021   14th International Symposium on High-Level Parallel Programming and Applications
DATE 2021   Design, Automation and Test in Europe Conference