Home
The International Conference on Computer-Aided Design (ICCAD)
continues to be the premier and most selective conference
devoted to technical innovations in design automation.
continues to be the premier and most selective conference
devoted to technical innovations in design automation.
Submission Deadline - April 16, 2012• Call for Papers
• Call for Proposals
• Submission Guidelines
• View the Preliminary 2012 Call for Papers PDF
IEEE/ACM William J. McCalla ICCAD Best Paper Award
Formal Verification of Phase- Locked Loops Using Reachability Analysis and Continuization
Matthias Althoff, Akshay Rajhans, Bruce Krogh,
Soner Yaldiz, Xin Li, Larry Pileggi - Carnegie Mellon Univ., Pittsburgh, PA
Gate Sizing and Device Technology Selection Algorithms for High-Performance Industrial Designs
Mustafa Ozdal and Steven Burns - Intel Corp., Hillsboro, OR
Jiang Hu –
Texas A&M Univ., College Station, TX
Matthias Althoff, Akshay Rajhans, Bruce Krogh,
Soner Yaldiz, Xin Li, Larry Pileggi - Carnegie Mellon Univ., Pittsburgh, PA
Gate Sizing and Device Technology Selection Algorithms for High-Performance Industrial Designs
Mustafa Ozdal and Steven Burns - Intel Corp., Hillsboro, OR
Jiang Hu –
Texas A&M Univ., College Station, TX
ICCAD Ten Year Retrospective Most Influential Paper Award
ICCAD 2001: Efficient Conflict Driven Learning in Boolean Satisfiability Solver
- Lintao Zhang- Microsoft Corp., Beijing, China
- Conor Madigan – Kateeva, Menlo Park, CA
- Matthew Moskewicz - Univ. of California, Berkeley, CA
- Sharad Malik - Princeton Univ., Princeton, NJ
ICCAD 2012 DATES AND LOCATION WILL
BE ANNOUNCED SOON!
BE ANNOUNCED SOON!
EDA related conference deadlines,
submissions and notifications
submissions and notifications
ICCAD 2011 speaker presentation slides are now available under the proceedings area. All published papers for 2011 can be found on IEEE Xplore or ACM's website.
Sponsored by:
In cooperation with:
