<span style="font-family:'Times New Roman';font-size:16px"><div><p style="margin:0.0px 0.0px 0.0px 0.0px;font:13.0px Arial"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">==============================</span></span><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">==============================</span></span><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">==</span></span></p>
<p style="margin:0.0px 0.0px 0.0px 0.0px;font:13.0px Arial"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">We apologize if you receive multiple copies of this CFP.</span></span></p>
<p style="margin:0.0px 0.0px 0.0px 0.0px;font:13.0px Arial"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">Please distribute to anyone who may be interested.</span></span></p>
<p style="margin:0.0px 0.0px 0.0px 0.0px;font:13.0px Arial"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">==============================</span></span><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">==============================</span></span><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">==</span></span></p>
<div><span style="font-family:Arial;font-size:13px"><br></span></div>
</div><span class="Apple-style-span" style="font-size: large;"> Call for Papers</span></span><div><span style="font-family: 'Times New Roman'; "><span class="Apple-style-span" style="font-size: large;"><br>
</span></span><div><span style="font-family: 'Times New Roman'; "><span class="Apple-style-span" style="font-size: large;">******************************</span><span class="Apple-style-span" style="font-size: large;">******************************</span><span class="Apple-style-span" style="font-size: large;">***<br>
HLDVT 2009<br>IEEE International High-Level Design, Validation and Test Workshop</span></span></div><div><span style="font-family: 'Times New Roman'; "><span class="Apple-style-span" style="font-size: large;"> </span><a href="http://www.hldvt.com/09/" target="_blank"><span class="Apple-style-span" style="font-size: large;">http://www.hldvt.com/09/</span></a></span><span class="Apple-style-span" style="font-size: large;"><br>
</span>
</div><div><span style="font-family: 'Times New Roman'; "><span class="Apple-style-span" style="font-size: large;"><br></span></span></div><div><span style="font-family: 'Times New Roman'; "><span class="Apple-style-span" style="font-size: large;">Grand Hyatt, San Francisco, California, November 46, 2009</span></span></div>
<div><span style="font-family: 'Times New Roman'; "><span class="Apple-style-span" style="font-size: large;"><br></span></span></div><div><span style="font-family:'Times New Roman';font-size:16px"><span class="Apple-style-span" style="font-size: large;">******************************</span><span class="Apple-style-span" style="font-size: large;">******************************</span><span class="Apple-style-span" style="font-size: large;">***</span><br>
<br><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">HLDVT 2009 is the fourteenth in a series of annual workshops designed to <br>
bring together a community of researchers in the areas of design, validation, <br>and test. The workshop revolves around a common theme of addressing the <br>
integration of multiple functions on-chip at higher levels of design <br>abstraction, and the techniques and methodologies for modeling, analyzing, <br>and validating such systems. In particular, the workshop has become a unique <br>
forum in recent years for researchers and practitioners to discuss the <br>practical issues associated with simulation and validation of extremely <br>large designs. For detailed information, please visit </span></span><a href="http://www.hldvt.com/09/" target="_blank"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">http://www.hldvt.com/09/</span></span></a><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;"><br>
<br>The topics of interest include (but not limited to):<br>Simulation-Based Validation<br>Formal Verification<br>Specification-based Design and Validation<br>Error Trace Analysis and Debug<br>Hybrid SAT/BDD/ATPG Methods<br>
On-Chip and Core-Based Testing<br>Coverage-driven Test Generation<br>Design/Synthesis for Test<br>Hardware/Software Co-Validation<br>Prototyping and Emulation<br>Post-silicon Validation and Debug<br><br>The Program Committee invites authors to submit papers not to exceed 8 pages <br>
(10pt minimum font size with reasonable margins and line spacing) describing <br>original and unpublished work. Proposals for panels and special sessions<br>are also invited. All submissions must be made electronically in PDF format <br>
using the paper submission webpage: </span></span>
<a href="http://www.hldvt.com/submissions" target="_blank"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">http://www.hldvt.com/</span></span><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">submissions</span></span></a><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;"><br>
<br> Submission deadline: June 12, 2009 (notification: August 10)<br> Final manuscript due: September 07, 2009<br><br>Authors of selected HLDVT'09 papers will be invited to submit extended versions<br>for a special issue of Springer Journal of Electronic Testing, to be published <br>
in 2010.<br><br>During paper submission the authors must commit to register and attend the <br>
workshop to present the paper if it is accepted. Every accepted paper must <br>have at least one of the authors pre-registered for the workshop during <br>submission of camera-ready version to ensure that the paper appears in <br>
the final program and conference proceedings. IEEE reserves the right to <br>exclude a paper from distribution after the workshop (e.g., removal from<br>IEEE Xplore) if the paper is not presented at the workshop.<br><br>
Questions regarding paper submissions and the program may be addressed to the<br>
program chair: Prabhat Mishra, </span></span>
<a href="mailto:programchair@hldvt.com" target="_blank"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">programchair@hldvt.com</span></span></a><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">. Other questions may<br>
be addressed to the general chair: Priyank Kalla, </span></span><a href="mailto:generalchair@hldvt.com" target="_blank"><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">generalchair@hldvt.com</span></span></a><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">.<br>
<br>Organizing Committee:<br>General Chair: Priyank Kalla, University of Utah<br>Program Chair: Prabhat Mishra, University of Florida<br>Past Chair: Prab Varma, Blue Pearl Software<br>Finance Chair: Zeljko Zilic, McGill University<br>
Publications Chair: Miroslav Velev, Aries Design Automation<br>Web Publicity Chair: Ismet Bayraktaroglu, Sun<br>Publicity Chair: Shireesh Verma, Conexant<br>Local Arrangements Chair: Kiran Ramineni, Marvell Semiconductor<br>
<br>Program Committee<br>Mark Aagaard, University of Waterloo<br>Jacob Abraham, UT Austin<br>Valeria Bertacco, University of Michigan<br>Pankaj Chauhan, Calypto<br>Tim Cheng, UC Santa Barbara<br>Franco Fummi, University di Verona<br>
Malay Ganai, NEC Labs<br>Eric Hennenhoefer, Obsidian Software<br>Ian Harris, UC Irvine<br>John Hayes, University of Michigan<br>Michael Hsiao, Virginia Tech<br>Alan Hu, University of British Columbia<br>Torsten Schober, IBM<br>
Jai Kumar, Sun<br>Priyadarsan Patra, Intel<br></span></span>
<span class="Apple-style-span" style="border-collapse: collapse; "><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;">Wolfgang Rosenstiel, T¨ubingen Univ.</span></span></span><span class="Apple-style-span" style="font-family: 'times new roman', serif;"><span class="Apple-style-span" style="font-size: small;"><br>
Pablo Sanchez, University of Cantabria<br>Sandeep Shukla, Virginia Tech<br>Wei Qin, Boston University<br>Li-C. Wang, UC Santa Barbara<br>
Hao Zheng, University of South Florida<br>Avi Ziv, IBM<br><br>Steering Committee:<br>Bernard Courtois, CMP-TIMA<br>Sujit Dey, UC San Diego<br>Masahiro Fujita, University of Tokyo<br>Prab Varma, Blue Pearl Software<br><br>
HLDVT 2009 is sponsored by the IEEE Computer Society Test Technology Technical<br>Council and IEEE CS Design Automation Technical Committee.</span></span></span><br></div></div>