ICCAD

ICCAD
Name	ICCAD
Caption	International Conference on Computer-Aided Design
Status	active
Genre	academic conference
Frequency	annual
First	1982
Organizer	Association for Computing Machinery IEEE
Discipline	electronic design automation
Location	rotates
Country	international

ICCAD is an annual international conference focused on electronic design automation and computer-aided design for integrated circuits and systems. The conference brings together researchers, practitioners, and vendors from academia and industry to present advances in algorithms, tools, and methodologies for physical design, verification, synthesis, and embedded systems. ICCAD serves as a forum linking work from universities, national laboratories, and companies such as Carnegie Mellon University collaborators, IBM research groups, and teams from Intel and Cadence Design Systems.

History

ICCAD traces its origins to early meetings on automated layout and logic synthesis during the rise of Very Large Scale Integration efforts in the late 1970s and early 1980s. Early participants included researchers from Massachusetts Institute of Technology, Stanford University, and industrial labs like Bell Labs and Hewlett-Packard. Over decades ICCAD has paralleled developments tied to milestones such as the introduction of VLSI design rules, the adoption of SystemVerilog and the growth of ASIC flows. Major shifts in topics reflected trends driven by work at University of California, Berkeley, innovations at Xerox PARC, and collaborations informed by conferences like DAC and symposia at IEEE societies.

Scope and Topics

The conference covers technical areas spanning logic synthesis, physical design, timing analysis, power optimization, formal verification, and reliability for integrated circuits and systems. Presentations often connect to algorithmic foundations developed in groups at Princeton University, Cornell University, and University of Illinois Urbana-Champaign, as well as tool development from Synopsys and Mentor Graphics. Topics intersect with research in hardware description languages such as VHDL and Verilog, design methodologies from ARM Holdings, and system-level concerns raised by projects at MIT Lincoln Laboratory. Emerging themes include machine learning techniques from Google Research applied to placement and routing, security analyses inspired by work at Sandia National Laboratories, and power-aware design influenced by initiatives at Bellcore.

Conference Organization and Sponsorship

ICCAD is typically organized by a conference committee with program chairs, technical program committee members, and industry liaisons drawn from universities, corporate research labs, and professional societies. Sponsorship often comes from entities such as IEEE Computer Society, Association for Computing Machinery, semiconductor vendors like TSMC, and EDA companies such as Cadence Design Systems and Synopsys. Local arrangements have been hosted by institutions including University of California, San Diego, University of Texas at Austin, and international hosts in regions represented by European Union research consortia and Asian universities like Tsinghua University.

Notable Papers and Contributions

ICCAD proceedings have published seminal work in timing-driven placement, global routing algorithms, SAT-based verification, and symbolic model checking. Influential contributions trace to researchers associated with Bell Labs and academic groups at University of California, Berkeley that advanced standard cell synthesis and floorplanning. Breakthroughs in satisfiability solvers and Boolean reasoning presented at ICCAD have connections to later developments at Microsoft Research and algorithmic theory from École Polytechnique. Papers introducing widely used heuristic methods for partitioning and simulated annealing were built upon earlier studies at IBM Research and implementations later commercialized by Mentor Graphics.

Awards and Recognition

ICCAD recognizes outstanding contributions with best paper awards, distinguished service awards, and student paper awards judged by panels drawn from IEEE and ACM volunteers. Recipients frequently include researchers affiliated with centers like IMEC, national laboratories such as Lawrence Berkeley National Laboratory, and university faculty awarded by organizations including the National Science Foundation and national academies such as the National Academy of Engineering. Lifetime achievement honors presented in associated sessions have highlighted careers at institutions like Carnegie Mellon University and corporations including Intel.

Proceedings and Publication

Accepted papers are published in the ICCAD proceedings and indexed in databases managed by organizations such as IEEE Xplore and the Association for Computing Machinery digital library. Proceedings have become a repository for applied algorithmics and tool descriptions that complement archival journal articles in venues like the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ACM Transactions on Design Automation of Electronic Systems, and special issues coordinated with editors from Springer and other publishers. Artifact evaluation and reproducibility initiatives at ICCAD have been influenced by guidelines from National Institute of Standards and Technology and community practices promoted by FCRC gatherings.

Related Events and Workshops

ICCAD sessions are often co-located with workshops and tutorials addressing topics such as design for testability, formal methods, machine learning for EDA, hardware security, and 3D IC design. Related events include Design Automation Conference sessions, workshops organized by Formal Methods in Computer-Aided Design, and regional symposia hosted by universities like National University of Singapore and Peking University. Cross-disciplinary collaborations have arisen through interactions with conferences in embedded systems and systems-on-chip research, drawing participants from Embedded Systems Week and program committees that include members from IEEE Design & Test.

Category:Computer science conferences Category:Electronic design automation