[Agda] IEEE HLDVT 2012: Call for Work-in-Progress Abstracts

Hiren D. Patel hdpatel at uwaterloo.ca
Wed Jul 18 04:28:09 CEST 2012


==============================================================

We apologize if you receive multiple copies of this CFP for WIP.

Please distribute to anyone who may be interested.

==============================================================

              Call for Work-in-Progress Abstracts

***************************************************************

                         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 HLDVT workshop is soliciting abstracts for a
work-in-progress (WIP) track. The WIP track aims to provide researchers
with an opportunity to gain early feedback on work-in-progress or to share
early results. 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. The workshop has become a unique forum for
researchers and practitioners to discuss the practical issues associated
with validation of extremely large designs. WIP topics of interest include,
but are not limited to:

- Simulation-Based Validation
- Formal Verification and Hybrid Methods
- Design Abstraction & Behavioral Modeling
- Error Trace Interpretation and Debugging
- On-Chip and Core-Based Testing
- Test Generation for Defects, Design Errors, and Delay
- Hardware/Software and Mixed-signal System Co-Validation
- Emulation and Prototyping
- Post-silicon Validation and Debug

Work-In-Progress Submission: The Program Committee invites authors to
submit extended abstracts not to exceed 2 pages (IEEE two-column conference
format with 10pt minimum font size) describing works in progress. Accepted
abstracts will be invited for a short presentation and a poster session at
the workshop. Accepted abstracts will be published in the HLDVT 2012
proceedings. 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 an abstract
will be considered as evidence that upon acceptance, the author(s) will
present their work at the workshop. For the abstracts to appear in the
program and proceedings, at least one full workshop registration by an
author is required 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.

WIP submission deadline: August 27, 2012
Acceptance Notification:   September 3, 2012
Final manuscript:              September 10, 2012


Questions regarding paper submissions and the program may be addressed to
the program chair: Samar Abdi, programchair at hldvt.com. Other questions may
be addressed to the general chair: Prab Varma, generalchair at 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/cfp_2012_WIP.pdf

HLDVT 2012 is sponsored by the IEEE Computer Society Test Technology
Technical
Council and the IEEE CS Design Automation Technical Committee.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120717/6d16e4c5/attachment.html


More information about the Agda mailing list