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