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.
 

ICCAD Archive

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.

  EDA related conference deadlines,
submissions and notifications
 
 
 

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

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