<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 23.0px Times New Roman; color: #510051">==============================================================</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 23.0px Times New Roman; color: #510051">We apologize if you receive multiple copies of this CFP.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 23.0px Times New Roman; color: #510051">Please distribute to anyone who may be interested.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 23.0px Times New Roman; color: #510051">==============================================================</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">-------------------</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><b>Call for Papers</b></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><span style="background-color: #ffffca">HLDVT</span> 2010</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">IEEE International High-Level Design Validation and Test Workshop Collocated with DAC 2010, Anaheim, California, June 10–12, 2010</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">------------------</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">The fifteenth annual workshop <span style="background-color: #ffffca">HLDVT</span> 2010 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.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><b>Topics of interest include, but are not limited to:</b></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Simulation-Based Validation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Formal Verification and Hybrid Methods</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Design Abstraction & Behavioral Modeling</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Error Trace Interpretation and Debugging</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• On-Chip and Core-Based Testing</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Test Generation for Defects, Design Errors, and Delay</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Hardware/Software and Mixed-signal System Co-Validation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Emulation and Prototyping</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">• Post-silicon Validation and Debug</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><b>Paper Submission:</b> The Program Committee 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: <a href="http://www.hldvt.com/submissions"><span style="color: #000000">http://www.</span><span style="color: #000000; background-color: #ffffca">hldvt</span><span style="color: #000000">.com/submissions</span></a> . Please ensure that all the required contact details are entered during online submission.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman"><b>Paper Publication and Presenter Registration:</b> 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 submis- sion 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 workshop.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Submission deadline: March 24, 2010</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Acceptance Notification: April 6, 2010</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Final manuscript: April 19, 2010</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Questions regarding paper submissions and the program may be ad- dressed to the program chair: Zeljko Zilic, <a href="mailto:programchair@hldvt.com"><span style="color: #000000">programchair@</span><span style="color: #000000; background-color: #ffffca">hldvt</span><span style="color: #000000">.com</span></a>. Other questions may be addressed to the general chair: Prabhat Mishra, <a href="mailto:generalchair@hldvt.com"><span style="color: #000000">generalchair@</span><span style="color: #000000; background-color: #ffffca">hldvt</span><span style="color: #000000">.com</span></a>. Additional pertinent information will be made available at <a href="http://www.hldvt.com/10/"><span style="color: #000000">http://www.</span><span style="color: #000000; background-color: #ffffca">hldvt</span><span style="color: #000000">.com/10/</span></a> .</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Journal Special Section: The best papers on validation of multicore systems will be considered for inclusion in a special section of IEEE Design and Test of Computers, to be published in May 2011.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><span style="background-color: #ffffca">HLDVT</span> 2010 is sponsored by the IEEE Computer Society Test Technology Technical Council and the IEEE CS Design Automation Technical Committee.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">------------------------</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><b>Organizing Committee</b></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">General Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Prabhat Mishra, Univ. of Florida</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Program Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Zeljko Zilic, McGill University</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Past Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Priyank Kalla, Univ. of Utah</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Finance Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Hao Zheng, Univ. of South Florida</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Publications Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Miroslav Velev, Aries Design Automation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Web Publicity Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Ismet Bayraktaroglu, Sun</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Publicity Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Shireesh Verma, Conexant</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Local Arrangements Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Ian Harris, UC Irvine</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Industry Liaison</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Shankar Hemmady, Synopsys</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Panel/Special Session Chair</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Sandeep Shukla, Virginia Tech</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><b>Program Committee</b></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Samar Abdi, Concordia Univ.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Valeria Bertacco, Univ. of Michigan</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Marc Boulé, Ecole de Tech. Supérieure</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Ed Cerny, Synopsys</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Pankaj Chauhan, Calypto</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Tim Cheng, UC Santa Barbara</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Franco Fummi, Univ. di Verona</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">John Hayes, Univ. of Michigan</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Michael Hsiao, Virginia Tech</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Alan Hu, Univ. British Columbia</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Nicola Nicolici, McMaster Univ.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Priyadarsan Patra, Intel</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Laurence Pierre, Univ. Grenoble</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Wolfgang Rosenstiel, Tu <span style="font: 16.0px Times">̈</span>bingen Univ.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Pablo Sanchez, Univ. of Cantabria</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Torsten Schober, IBM Germany</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Namrata Shekhar, Synopsys</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Li-C. Wang, UC Santa Barbara</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Jin Yang, Intel Avi Ziv, IBM</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"> </p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051"><b>Steering Committee</b></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Bernard Courtois, CMP-TIMA</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Masahiro Fujita, Univ. of Tokyo</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Times New Roman; color: #510051">Prab Varma, Blue Pearl Software</p>