Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,211,715 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
9 relations
Asia and South Pacific Design Automation Conference
Asynchronous system
Design Automation Conference
Design Automation and Test in Europe
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Imbalance aware lithography hotspot detection: a deep learning approach
Haoyu Yang
,
Luyang Luo
,
Jing Su
,
Chenxi Lin
,
Bei Yu
Advanced Lithography
2017
Corpus ID: 125119222
With the advancement of VLSI technology nodes, light diffraction caused lithographic hotspots have become a serious problem…
Expand
Highly Cited
2015
Highly Cited
2015
Vortex: Variation-aware training for memristor X-bar
Beiye Liu
,
Hai Helen Li
,
Yiran Chen
,
Xin Li
,
Qing Wu
,
Tingwen Huang
52nd ACM/EDAC/IEEE Design Automation Conference…
2015
Corpus ID: 11420350
Recent advances in development of memristor devices and cross-bar integration allow us to implement a low-power on-chip…
Expand
Highly Cited
2012
Highly Cited
2012
SALSA: Systematic logic synthesis of approximate circuits
Swagath Venkataramani
,
Amit Sabne
,
V. Kozhikkottu
,
K. Roy
,
A. Raghunathan
DAC Design Automation Conference
2012
Corpus ID: 5879696
Approximate computing has emerged as a new design paradigm that exploits the inherent error resilience of a wide range of…
Expand
Review
2011
Review
2011
Proceedings of the International Conference on Computer-Aided Design
J. Phillips
,
A. Hu
,
H. Graeb
ICCAD
2011
Corpus ID: 53242532
ICCAD continues to be the premier conference devoted to technical innovations in design automation. ICCAD's program of…
Expand
Review
2008
Review
2008
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
S. Nassif
,
J. Roychowdhury
ICCAD
2008
Corpus ID: 109188577
Welcome to the 2008 International Conference on Computer-Aided Design. ICCAD continues to be the premiere and most selective…
Expand
Highly Cited
2006
Highly Cited
2006
An Algorithm for Synthesis of Reversible Logic Circuits
Pallav Gupta
,
Abhinav Agrawal
,
N. Jha
IEEE Transactions on Computer-Aided Design of…
2006
Corpus ID: 1818323
Reversible logic finds many applications, especially in the area of quantum computing. A completely specified n-input, n-output…
Expand
Highly Cited
2002
Highly Cited
2002
Applying SAT Methods in Unbounded Symbolic Model Checking
K. McMillan
CAV
2002
Corpus ID: 223130
A method of symbolic model checking is introduced that uses conjunctive normal form (CNF) rather than binary decision diagrams…
Expand
Highly Cited
2000
Highly Cited
2000
Timing-driven placement for FPGAs
A. Marquardt
,
V. Betz
,
Jonathan Rose
FPGA '00
2000
Corpus ID: 3716168
In this paper we introduce a new Simulated Annealing-based timing-driven placement algorithm for FPGAs. This paper has three main…
Expand
Highly Cited
1993
Highly Cited
1993
Model checking, abstraction, and compositional verification
E. Clarke
,
D. E. Long
1993
Corpus ID: 60752423
Because of the difficulty of adequately simulating large digital designs, there has been a recent surge of interest in formal…
Expand
Highly Cited
1993
Highly Cited
1993
Spectral K-Way Ratio-Cut Partitioning and Clustering
P. K. Chan
,
M. Schlag
,
J. Zien
30th ACM/IEEE Design Automation Conference
1993
Corpus ID: 2604301
Recent research on partitioning has focussed on the ratio-cut cost metric which maintains a balance between the sizes of the…
Expand
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
ACCEPT & CONTINUE