Skip to search formSkip to main contentSkip to account menu

International Conference on Computer-Aided Design

Known as: ICCAD 
The International Conference on Computer-Aided Design, or ICCAD, is a yearly conference about electronic design automation. It is normally held in… 
Wikipedia

Related topics

Related topics

9 relations
Asia and South Pacific Design Automation ConferenceAsynchronous systemDesign Automation ConferenceDesign Automation and Test in Europe

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Imbalance aware lithography hotspot detection: a deep learning approach
With the advancement of VLSI technology nodes, light diffraction caused lithographic hotspots have become a serious problem… 
Highly Cited
2015
Highly Cited
2015
Vortex: Variation-aware training for memristor X-bar
Recent advances in development of memristor devices and cross-bar integration allow us to implement a low-power on-chip… 
Highly Cited
2012
Highly Cited
2012
SALSA: Systematic logic synthesis of approximate circuits
Approximate computing has emerged as a new design paradigm that exploits the inherent error resilience of a wide range of… 
Review
2011
Review
2011
Proceedings of the International Conference on Computer-Aided Design
ICCAD continues to be the premier conference devoted to technical innovations in design automation. ICCAD's program of… 
Review
2008
Review
2008
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Welcome to the 2008 International Conference on Computer-Aided Design. ICCAD continues to be the premiere and most selective… 
Highly Cited
2006
Highly Cited
2006
An Algorithm for Synthesis of Reversible Logic Circuits
Reversible logic finds many applications, especially in the area of quantum computing. A completely specified n-input, n-output… 
Highly Cited
2002
Highly Cited
2002
Applying SAT Methods in Unbounded Symbolic Model Checking
A method of symbolic model checking is introduced that uses conjunctive normal form (CNF) rather than binary decision diagrams… 
Highly Cited
2000
Highly Cited
2000
Timing-driven placement for FPGAs
In this paper we introduce a new Simulated Annealing-based timing-driven placement algorithm for FPGAs. This paper has three main… 
Highly Cited
1993
Highly Cited
1993
Model checking, abstraction, and compositional verification
Because of the difficulty of adequately simulating large digital designs, there has been a recent surge of interest in formal… 
Highly Cited
1993
Highly Cited
1993
Spectral K-Way Ratio-Cut Partitioning and Clustering
Recent research on partitioning has focussed on the ratio-cut cost metric which maintains a balance between the sizes of the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License