<span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 13pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); ">==============================================================</span><span style="font-size: 16pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 13pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); ">We apologize if you receive multiple copies of this CFP.</span><span style="font-size: 16pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 13pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); ">Please distribute to anyone who may be interested.</span><span style="font-size: 16pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 13pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); ">==============================================================</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 18pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "> Call for Papers</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 18pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); ">***************************************************************</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 18pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "> HLDVT 2010</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 18pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); ">IEEE International High-Level Design, Validation and Test Workshop</span><span style="font-size: 13pt; font-family: Arial; color: rgb(81, 0, 81); "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 18pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "> <a href="http://www.hldvt.com/09/" target="_blank" style="color: rgb(42, 93, 176); "><span style="color: rgb(34, 94, 178); text-decoration: none; ">http://www.hldvt.com/10/</span></a></span><span style="font-size: 18pt; font-family: Arial; color: rgb(81, 0, 81); "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 18pt; font-family: 'Times New Roman'; color: rgb(81, 0, 81); "> </span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 18pt; font-family: 'Times New Roman'; "> Anaheim, California, June 10-12, 2010</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 18pt; font-family: 'Times New Roman'; ">***************************************************************</span><span style="font-size: 16pt; font-family: 'Times New Roman'; "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 16pt; font-family: 'Times New Roman'; "> </span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">HLDVT 2010 is the fifteenth in a series of annual workshops designed to bring together a community of researchers in the areas of design, validation, and test. The workshop revolves around a common theme of addressing 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 simulation and validation of extremely large designs.<span style="font-size: 17px; "> </span></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; "><font class="Apple-style-span" face="'Times New Roman', sans-serif" size="5"><span class="Apple-style-span" style="font-size: 17px;"><br>
</span></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><b><span style="font-size: 14pt; font-family: 'Times New Roman'; ">The topics of interest include (but not limited to):</span></b></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Simulation-Based Validation</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Formal Verification</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Design Abstraction & Behavioral Modeling</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Error Trace Interpretation and Debugging</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Hybrid SAT/BDD/ATPG Methods</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">On-Chip and Core-Based Testing</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Test Generation for Defects, Design Errors, and Delay</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Design/Synthesis for Test</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Hardware/Software and Mixed-signal System Co-Validation</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Emulation and Prototyping</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Post-silicon Validation and Debug</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" face="'Times New Roman', sans-serif"><br></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 13pt; font-family: 'Times New Roman'; "><span style="font-family: arial; font-size: small; "><b><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Paper Submission:</span></b><span style="font-size: 10pt; font-family: 'Times New Roman'; "> 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" target="_blank" style="color: rgb(42, 93, 176); ">http://www.hldvt.com/submissions</a>. Please ensure that all the required contact details are entered during online submission.</span></span></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" face="'Times New Roman', sans-serif"><br></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; ">
<b><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Paper Publication and Presenter Registration:</span></b><span style="font-size: 10pt; font-family: 'Times New Roman'; "> 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 workshop. </span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; "><font class="Apple-style-span" face="'Times New Roman', sans-serif"><br></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<b><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Submission deadline:</span></b><span style="font-size: 10pt; font-family: 'Times New Roman'; "> March 7, 2010</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<b><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Acceptance Notification:</span></b><span style="font-size: 10pt; font-family: 'Times New Roman'; "> April 6, 2010</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<b><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Final manuscript:</span></b><span style="font-size: 10pt; font-family: 'Times New Roman'; "> April 19, 2010</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<font class="Apple-style-span" face="'Times New Roman', sans-serif"><br></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Questions regarding paper submissions and the program may be addressed to the program chair: Zeljko Zilic, <a href="mailto:programchair@hldvt.com" target="_blank" style="color: rgb(42, 93, 176); ">programchair@hldvt.com</a>. Other questions may be addressed to the general chair: Prabhat Mishra, <a href="mailto:generalchair@hldvt.com" target="_blank" style="color: rgb(42, 93, 176); ">generalchair@hldvt.com</a>. Additional pertinent information will be made available at <a href="http://www.hldvt.com/10/" target="_blank" style="color: rgb(42, 93, 176); ">http://www.hldvt.com/10/</a>.</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="'Times New Roman'"><b><br></b></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<b><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Organizing Committee</span></b></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">General Chair</span></i></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; "><span style="font-style: normal; ">Prabhat Mishra, Univ. of Florida</span></span></i></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Program Chair</span></i></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Zeljko Zilic, McGill University</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Past Chair</span></i></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Priyank Kalla, Univ. of Utah</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Finance Chair</span></i></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Hao Zheng, Univ. of South Florida</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Publications Chair</span></i></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Miroslav Velev, Aries Design Automation</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Web Publicity Chair</span></i></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Ismet Bayraktaroglu, Sun</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Publicity Chair</span></i></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Shireesh Verma, Conexant</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Local Arrangements Chair</span></i></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Ian Harris, UC Irvine</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Industry Liaison</span></i></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Shankar Hemmady, Synopsys</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><i><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Panel/Special Session Chair</span></i></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Sandeep Shukla, Virginia Tech</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<font face="'Times New Roman'"><br></font></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; "><span style="font-weight: bold; ">Program Committee</span></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Samar Abdi, Concordia Univ.</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Valeria Bertacco, Univ. of Michigan</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Marc Boul´e, ´ Ecole de Tech. Sup´erieure</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Ed Cerny, Synopsys</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Pankaj Chauhan, Calypto</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Tim Cheng, UC Santa Barbara</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Franco Fummi, Univ. di Verona</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">John Hayes, Univ. of Michigan</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Michael Hsiao, Virginia Tech</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Alan Hu, Univ. British Columbia</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Nicola Nicolici, McMaster Univ.</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Priyadarsan Patra, Intel</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Laurence Pierre, Univ. Grenoble</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Wolfgang Rosenstiel, T¨ubingen Univ.</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Pablo Sanchez, Univ. of Cantabria</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Torsten Schober, IBM Germany</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Li-C. Wang, UC Santa Barbara</span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Jin Yang, Intel</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Avi Ziv, IBM</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; "> </span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; "><span style="font-weight: bold; ">Steering Committee</span></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Bernard Courtois, CMP-TIMA</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">Masahiro Fujita, Univ. of Tokyo</span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; ">Prab Varma, Blue Pearl Software</span><span style="font-size: 10pt; font-family: 'Times New Roman'; "></span></p>
<p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span style="font-size: 10pt; font-family: 'Times New Roman'; "> </span></p><p class="MsoNormal" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">
<span style="font-size: 10pt; font-family: 'Times New Roman'; ">HLDVT 2010 is sponsored by the IEEE Computer Society Test Technology Technical Council and the IEEE CS Design Automation Technical Committee.</span></p>
</span>