<div>We apologize if you receive multiple copies of this CFP.</div><div><br></div><div>****************** IMPORTANT **********************</div><div><br></div><div>In response to numerous requests, the submission deadline has been extended. Please note the new submission deadline.</div>
<div><br></div><div>Submission Deadline Extended to June 29, 2012</div><div><br></div><div>==============================================================</div><div><br></div><div> Call for Papers</div>
<div><br></div><div>***************************************************************</div><div><br></div><div> HLDVT 2012</div><div><br></div><div>IEEE International High-Level Design, Validation and Test Workshop</div>
<div><br></div><div> <a href="http://www.hldvt.com/12/">http://www.hldvt.com/12/</a></div><div><br></div><div> </div><div><br></div><div> Huntington Beach, California, November 9-10, 2012</div>
<div>
<br></div><div>***************************************************************</div><div><br></div><div> </div><div><br></div><div>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.</div>
<div><br></div><div><br></div><div>The topics of interest include (but not limited to):</div><div><br></div><div>ï Simulation-Based Validation</div><div>ï Formal Verification and Hybrid Methods</div><div>ï Design Abstraction & Behavioral Modeling</div>
<div>ï Error Trace Interpretation and Debugging</div><div>ï On-Chip and Core-Based Testing</div><div>ï Test Generation for Defects, Design Errors, and Delay</div><div>ï Hardware/Software and Mixed-signal System Co-Validation</div>
<div>ï Emulation and Prototyping</div><div>ï Post-silicon Validation and Debug</div><div><br></div><div><br></div><div>Paper Submission: The ProgramCommittee invites authors to submit papers not to</div><div>exceed 8 pages (IEEE two-column conference format with 10pt minimum font size)</div>
<div>describing original and unpublished work. Panels and special session proposals are</div><div>also invited. All submissions must be made electronically in PDF format using</div><div>the paper submission webpage: <a href="http://www.hldvt.com/submissions">http://www.hldvt.com/submissions</a> . Please</div>
<div>ensure that all the required contact details are entered during online submission.</div><div><br></div><div>Paper Publication and Presenter Registration: The submission of a paper or</div><div>panel proposal will be considered as evidence that upon acceptance, the author(s)</div>
<div>will present their paper. For the papers to appear in the program and proceedings,</div><div>required is at least one full workshop registration by an author before the submission</div><div>of camera-ready version. IEEE reserves the right to exclude a paper from</div>
<div>distribution (e.g., removal from IEEE Xplore) if the paper is not presented at the</div><div>workshop.</div><div><br></div><div>Abstract submission deadline: Extended to June 29, 2012</div><div><br></div><div>Full paper submission deadline: July 6, 2012</div>
<div><br></div><div>Acceptance Notification: August 10, 2012</div><div><br></div><div>Final manuscript: September 9, 2012</div><div><br></div><div>Questions regarding paper submissions and the program may be addressed</div>
<div>to the program chair: Samar Abdi, <a href="mailto:programchair@hldvt.com">programchair@hldvt.com</a>.</div><div>Other questions may be addressed to the general chair: Prab Varma,</div><div><a href="mailto:generalchair@hldvt.com">generalchair@hldvt.com</a>. Additional pertinent information will be made</div>
<div>available at <a href="http://www.hldvt.com/12/">http://www.hldvt.com/12/</a> .</div><div><br></div><div><br></div><div>Organizing Committee</div><div><br></div><div>General Chair</div><div>Prab Varma, Apache Design</div>
<div><br></div><div>Program Chair</div><div>Samar Abdi, Concordia Univ.</div><div><br></div><div>Past Chair</div><div>Zeljko Zilic, McGill Univ.</div><div><br></div><div>Special Sessions Chair</div><div>Franco Fummi, Univ. di Verona</div>
<div><br></div><div>New Topics Chair</div><div>Sandeep Shukla, Virginia Tech</div><div><br></div><div>Finance Chair</div><div>Shireesh Verma, Intel</div><div><br></div><div>Tutorials Chair</div><div>Chinna Prudvi, Intel</div>
<div><br></div><div>Publications Chair</div><div>Marc Boule, Ecole de Tech. Superieure</div><div><br></div><div>Web Publicity Co-chairs</div><div>Ismet Bayraktaroglu, Sun</div><div>Hiren Patel, Univ. of Waterloo</div><div>
<br></div><div>Member-at-Large</div><div>Prabhat Mishra, Univ. Florida</div><div><br></div><div>Program Committee</div><div><br></div><div>Giovanni Beltrame, Poly Montreal</div><div>Jens Brandt, Univ. Kaiserslautern</div>
<div>Ed Cerny, Synopsys</div><div>Tim Cheng, UC Santa Barbara</div><div>Franco Fummi, Univ. di Verona</div><div>Ali Habibi, Qualcomm</div><div>Ian Harris, UC Irvine</div><div>John Hayes, Univ. of Michigan</div><div>Michael Hsiao, Virginia Tech</div>
<div>Alan Hu, Univ. British Columbia</div><div>Mohamed Jmaiel, ReDCAD, ENIS</div><div>Mohammadreza Mousavi, Eindhoven Univ.</div><div>Nicola Nicolici, McMaster Univ.</div><div>Priyadarsan Patra, Intel</div><div>Alper Sen, Bogazici Univ.</div>
<div>Jean-Pierre Talpin, INRIA</div><div>Aiguo Xie, Calypto</div><div>Miroslav Velev, Aries Design Automation</div><div>Lochi Yu, Univ. Costa Rica</div><div>Avi Ziv, IBM</div><div><br></div><div>Steering Committee</div><div>
Bernard Courtois, CMP-TIMA</div><div>Masahiro Fujita, Univ. of Tokyo</div><div>Prab Varma, Apache Design</div><div><br></div><div> </div><div>CFP in PDF: <a href="http://hldvt.com/12/hldvt12_cfp.pdf">http://hldvt.com/12/hldvt12_cfp.pdf</a></div>
<div><br></div><div>HLDVT 2012 is sponsored by the IEEE Computer Society Test Technology Technical</div><div>Council and the IEEE CS Design Automation Technical Committee.</div>