<p style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 13px/normal &#39;Times New Roman&#39;; "><span class="Apple-style-span" style="font-size: 12px;"><span class="Apple-style-span" style="font-family: Arial;"><span class="Apple-style-span" style="color: rgb(8, 8, 8);">Dear Colleagues,</span></span></span></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Times New Roman; color: #510051"><br></p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Times New Roman; color: #510051">=============================================================</p>

<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.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: 13.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: 13.0px Times New Roman; color: #510051">==============================================================</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; color: #510051; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051">   HLDVT 2009 Paper Submission Deadline Extended to June 26</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051; min-height: 21.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051">***************************************************************</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051">                                      HLDVT 2009</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051">IEEE International High-Level Design, Validation and Test Workshop</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051">                                 <a href="http://www.hldvt.com/09/"><span style="color: #225eb2">http://www.hldvt.com/09/</span></a></p>

<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; color: #510051; min-height: 21.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman">Grand Hyatt, San Francisco, California, November 4-6, 2009</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman; min-height: 21.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Times New Roman">***************************************************************</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">HLDVT 2009 is the fourteenth in a series of annual workshops designed to</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">bring together a community of researchers in the areas of design, validation,</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">and test. The workshop revolves around a common theme of addressing the</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">integration of multiple functions on-chip at higher levels of design</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">abstraction, and the techniques and methodologies for modeling, analyzing,</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">and validating such systems. In particular, the workshop has become a unique</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">forum in recent years for researchers and practitioners to discuss the</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">practical issues associated with simulation and validation of extremely</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">large designs. For detailed information, please visit <a href="http://www.hldvt.com/09/"><span style="text-decoration: underline ; color: #225eb2">http://www.hldvt.com/09/</span></a></p>

<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Authors of selected HLDVT&#39;09 papers will be invited to submit extended versions</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">for a special issue of Springer Journal of Electronic Testing, to be published</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">in 2010.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">The topics of interest for HLDVT09 include (but not limited to):</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Simulation-Based Validation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Formal Verification</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Specification-based Design and Validation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Error Trace Analysis and Debug</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Hybrid SAT/BDD/ATPG Methods</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> On-Chip and Core-Based Testing</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Coverage-driven Test Generation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Design/Synthesis for Test</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Hardware/Software Co-Validation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Prototyping and Emulation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Post-silicon Validation and Debug</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">The Program Committee invites authors to submit papers not to exceed 8 pages</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">(10pt minimum font size with reasonable margins and line spacing) describing</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">original and unpublished work. Proposals for panels and special sessions</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">are also invited. All submissions must be made electronically in PDF format</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">using the paper submission webpage: <a href="http://www.hldvt.com/submissions"><span style="text-decoration: underline ; color: #225eb2">http://www.hldvt.com/submissions</span></a></p>

<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Extended Sumbission Deadline: June 26, 2009 (final and firm deadline)</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"> Acceptance Notification: August 10, 2009 (final manuscript due: Sept 07)</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">During paper submission the authors must commit to register and attend the</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">workshop to present the paper if it is accepted. Every accepted paper must</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">have at least one of the authors pre-registered for the workshop during</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">submission of camera-ready version to ensure that the paper appears in</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">the final program and conference proceedings. IEEE reserves the right to</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">exclude a paper from distribution after the workshop (e.g., removal from</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">IEEE Xplore) if the paper is not presented at the workshop.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Questions regarding paper submissions and the program may be addressed to the</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">program chair: Prabhat Mishra, <a href="mailto:programchair@hldvt.com"><span style="text-decoration: underline ; color: #225eb2">programchair@hldvt.com</span></a>. Other questions may</p>

<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">be addressed to the general chair: Priyank Kalla, <a href="mailto:generalchair@hldvt.com"><span style="text-decoration: underline ; color: #225eb2">generalchair@hldvt.com</span></a>.</p>

<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Organizing Committee:</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">General Chair: Priyank Kalla, University of Utah</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Program Chair: Prabhat Mishra, University of Florida</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Past Chair: Prab Varma, Blue Pearl Software</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Finance Chair: Zeljko Zilic, McGill University</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Publications Chair: Miroslav Velev, Aries Design Automation</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Web Publicity Chair: Ismet Bayraktaroglu, Sun</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Publicity Chair: Shireesh Verma, Conexant</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Local Arrangements Chair: Kiran Ramineni, Marvell Semiconductor</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Program Committee</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Mark Aagaard, University of Waterloo</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Jacob Abraham, UT Austin</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Valeria Bertacco, University of Michigan</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Pankaj Chauhan, Calypto</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Tim Cheng, UC Santa Barbara</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Franco Fummi, University di Verona</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Malay Ganai, NEC Labs</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Eric Hennenhoefer, Obsidian Software</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Ian Harris, UC Irvine</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">John Hayes, University of Michigan</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Michael Hsiao, Virginia Tech</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Alan Hu, University of British Columbia</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Torsten Schober, IBM</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Jai Kumar, Sun</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Priyadarsan Patra, Intel</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Wolfgang Rosenstiel, Tubingen Univ.</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Pablo Sanchez, University of Cantabria</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Sandeep Shukla, Virginia Tech</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Wei Qin, Boston University</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Li-C. Wang, UC Santa Barbara</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Hao Zheng, University of South Florida</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Avi Ziv, IBM</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Steering Committee:</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Bernard Courtois, CMP-TIMA</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Sujit Dey, UC San Diego</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Masahiro Fujita, University of Tokyo</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Prab Varma, Blue Pearl Software</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial; min-height: 15.0px"><br></p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">HLDVT 2009 is sponsored by the IEEE Computer Society Test Technology Technical</p>
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Council and IEEE CS Design Automation Technical Committee.</p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"><br></p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">
Regards,</p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial"><br></p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Shireesh Verma</p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">
Conexant Systems Inc.</p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">4000 MacArthur Blvd.</p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">Newport Beach </p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Arial">
CA 92660</p>