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 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

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

Download Final Program PDF - 7.29MB