From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id EB0E07ED45 for ; Sat, 23 Jun 2012 23:46:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCAL845k+BYTgae2dsb2JhbABEpUeHPAGIXggiAQEWJgUighoDFAIJSzddEgEFATUIDA6HaQuXeIJhCQOdV4szFIVuA5UugRKJc4MfPoQagToCIw X-IronPort-AV: E=Sophos;i="4.77,464,1336341600"; d="scan'208";a="164166165" Received: from ecemail.uwaterloo.ca ([129.97.56.26]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Jun 2012 23:46:07 +0200 Received: from mail-vc0-f182.google.com (mail-vc0-f182.google.com [209.85.220.182]) (authenticated bits=0) by ecemail.uwaterloo.ca (8.13.8/8.13.8) with ESMTP id q5NLk458031313 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=FAIL) for ; Sat, 23 Jun 2012 17:46:05 -0400 Received: by vcbfy7 with SMTP id fy7so2434468vcb.27 for ; Sat, 23 Jun 2012 14:46:04 -0700 (PDT) Received: by 10.220.240.148 with SMTP id la20mr4112370vcb.39.1340487957663; Sat, 23 Jun 2012 14:45:57 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.187.70 with HTTP; Sat, 23 Jun 2012 14:45:17 -0700 (PDT) From: "Hiren D. Patel" Date: Sat, 23 Jun 2012 17:45:17 -0400 Message-ID: To: hdpatel@uwaterloo.ca Content-Type: multipart/alternative; boundary=14dae9cfc1308adb7504c32aac07 X-Greylist: Sender succeeded SMTP AUTH authentication, not delayed by milter-greylist-3.0 (ecemail.uwaterloo.ca [129.97.56.26]); Sat, 23 Jun 2012 17:46:05 -0400 (EDT) X-Validation-by: hdpatel@uwaterloo.ca Subject: [Caml-list] IEEE HLDVT 2012: Call for Papers (Submission Deadline Extended: June 29, 2012) --14dae9cfc1308adb7504c32aac07 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable We apologize if you receive multiple copies of this CFP. ****************** IMPORTANT ********************** In response to numerous requests, the submission deadline has been extended. Please note the new submission deadline. Submission Deadline Extended to June 29, 2012 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers *************************************************************** HLDVT 2012 IEEE International High-Level Design, Validation and Test Workshop http://www.hldvt.com/12/ Huntington Beach, California, November 9-10, 2012 *************************************************************** 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. The topics of interest include (but not limited to): =EF Simulation-Based Validation =EF Formal Verification and Hybrid Methods =EF Design Abstraction & Behavioral Modeling =EF Error Trace Interpretation and Debugging =EF On-Chip and Core-Based Testing =EF Test Generation for Defects, Design Errors, and Delay =EF Hardware/Software and Mixed-signal System Co-Validation =EF Emulation and Prototyping =EF Post-silicon Validation and Debug Paper Submission: The ProgramCommittee 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: http://www.hldvt.com/submissions . Please ensure that all the required contact details are entered during online submission. Paper Publication and Presenter Registration: 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. Abstract submission deadline: Extended to June 29, 2012 Full paper submission deadline: July 6, 2012 Acceptance Notification: August 10, 2012 Final manuscript: September 9, 2012 Questions regarding paper submissions and the program may be addressed to the program chair: Samar Abdi, programchair@hldvt.com. Other questions may be addressed to the general chair: Prab Varma, generalchair@hldvt.com. Additional pertinent information will be made available at http://www.hldvt.com/12/ . Organizing Committee General Chair Prab Varma, Apache Design Program Chair Samar Abdi, Concordia Univ. Past Chair Zeljko Zilic, McGill Univ. Special Sessions Chair Franco Fummi, Univ. di Verona New Topics Chair Sandeep Shukla, Virginia Tech Finance Chair Shireesh Verma, Intel Tutorials Chair Chinna Prudvi, Intel Publications Chair Marc Boule, Ecole de Tech. Superieure Web Publicity Co-chairs Ismet Bayraktaroglu, Sun Hiren Patel, Univ. of Waterloo Member-at-Large Prabhat Mishra, Univ. Florida Program Committee Giovanni Beltrame, Poly Montreal Jens Brandt, Univ. Kaiserslautern Ed Cerny, Synopsys Tim Cheng, UC Santa Barbara Franco Fummi, Univ. di Verona Ali Habibi, Qualcomm Ian Harris, UC Irvine John Hayes, Univ. of Michigan Michael Hsiao, Virginia Tech Alan Hu, Univ. British Columbia Mohamed Jmaiel, ReDCAD, ENIS Mohammadreza Mousavi, Eindhoven Univ. Nicola Nicolici, McMaster Univ. Priyadarsan Patra, Intel Alper Sen, Bogazici Univ. Jean-Pierre Talpin, INRIA Aiguo Xie, Calypto Miroslav Velev, Aries Design Automation Lochi Yu, Univ. Costa Rica Avi Ziv, IBM Steering Committee Bernard Courtois, CMP-TIMA Masahiro Fujita, Univ. of Tokyo Prab Varma, Apache Design CFP in PDF: http://hldvt.com/12/hldvt12_cfp.pdf HLDVT 2012 is sponsored by the IEEE Computer Society Test Technology Technical Council and the IEEE CS Design Automation Technical Committee. --14dae9cfc1308adb7504c32aac07 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
We apologize if you receive multiple copies of this CFP.
****************** IMPORTANT **********************
<= br>
In response to numerous requests, the submission deadline has= been extended. =A0Please note the new submission deadline.

Submission Deadline Extended to June 29, 2012

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Call for Papers

*******************************************************= ********

=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0HLDVT 2012

IEEE International High-Leve= l Design, Validation and Test Workshop

=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0http://www.hldvt.com/12/

= =A0

=A0 =A0 =A0 =A0 =A0 Huntington Beach, Californ= ia, November 9-10, 2012

************************************************************= ***

=A0

The seventeenth a= nnual workshop HLDVT 2012 aims to bring together a community of researchers= in the areas of design, validation, and test. The workshop addresses the i= ntegration of multiple functions on-chip at higher levels of design abstrac= tion, and the techniques and methodologies for modeling, analyzing, and val= idating such systems. =A0In particular, the workshop has become a unique fo= rum for researchers and practitioners to discuss the practical issues assoc= iated with validation of extremely large designs.


The topics of interest include (but not = limited to):

=EF Simulation-Based Validation
=
=EF Formal Verification and Hybrid Methods
=EF Design Abstra= ction & Behavioral Modeling
=EF Error Trace Interpretation and Debugging
=EF On-Chip and= Core-Based Testing
=EF Test Generation for Defects, Design Error= s, and Delay
=EF Hardware/Software and Mixed-signal System Co-Val= idation
=EF Emulation and Prototyping
=EF Post-silicon Validation an= d Debug


Paper Submission: The Progr= amCommittee invites authors to submit papers not to
exceed 8 page= s (IEEE two-column conference format with 10pt minimum font size)
describing original and unpublished work. Panels and special session p= roposals are
also invited. All submissions must be made electroni= cally in PDF format using
the paper submission webpage: http://www.hldvt.com/submissions = . Please
ensure that all the required contact details are entered during online= submission.

Paper Publication and Presenter Regis= tration: The submission of a paper or
panel proposal will be cons= idered 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 pres= ented at the
workshop.

Abstract submissi= on deadline: Extended to June 29, 2012

Full paper = submission deadline: July 6, 2012

Acceptance Notification: August 10, 2012

=
Final manuscript: September 9, 2012

Que= stions regarding paper submissions and the program may be addressed
to the program chair: Samar Abdi, programchair@hldvt.com.
Other questions may be addresse= d to the general chair: Prab Varma,
generalchair@hldvt.com. Additional pertinent information w= ill be made


Organizing Committee

General Chair
Prab Varma, Apache Design

Program Chair
Samar Abdi, Concordia Univ.

Past Chair
Zeljko Zilic, McGill Univ.
=

Special Sessions Chair
Franco Fummi, Univ. di= Verona

New Topics Chair
Sandeep Shukla, Virginia Tec= h

Finance Chair
Shireesh Verma, Intel

Tutorials Chair
Chinna Prudvi, Intel

Publications Chair
Marc Boule, Ecole de Tech.= Superieure

Web Publicity Co-chairs
Isme= t Bayraktaroglu, Sun
Hiren Patel, Univ. of Waterloo

Member-at-Large
Prabhat Mishra, Univ. Florida

Program Committee

Giovanni Be= ltrame, Poly Montreal
Jens Brandt, Univ. Kaiserslautern
Ed Cerny, Synopsys
Tim Cheng, UC Santa Barbara
Fra= nco Fummi, Univ. di Verona
Ali Habibi, Qualcomm
Ian Har= ris, UC Irvine
John Hayes, Univ. of Michigan
Michael Hs= iao, Virginia Tech
Alan Hu, Univ. British Columbia
Mohamed Jmaiel, ReDCAD, ENIS=
Mohammadreza Mousavi, Eindhoven Univ.
Nicola Nicolici,= McMaster Univ.
Priyadarsan Patra, Intel
Alper Sen, Bog= azici Univ.
Jean-Pierre Talpin, INRIA
Aiguo Xie, Calypto
Miros= lav Velev, Aries Design Automation
Lochi Yu, Univ. Costa Rica
Avi Ziv, IBM

Steering Committee
Bernard Courtois, CMP-TIMA
Masahiro Fujita, Univ. of Tokyo
<= div>Prab Varma, Apache Design

=A0

HLDVT 2012 is sponsored by the IEEE Computer Society Te= st Technology Technical
Council and the IEEE CS Design Automation= Technical Committee.
--14dae9cfc1308adb7504c32aac07--