Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
2008
2008
Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania
It's not surprisingly when entering this site to get the book. One of the popular books now is the computer aided design of user… Expand
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… Expand
  • figure 3
  • figure 2
  • figure 1
  • figure 5
  • figure 6
2004
2004
Design diagnosis using Boolean satisfiability
Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital VLSI design problems such as… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
Highly Cited
2002
Highly Cited
2002
Runtime mechanisms for leakage current reduction in CMOS VLSI circuits
Abstract. This paper describes two runtime mechanisms for reducing the leakage current of a CMOS circuit. In both cases, it is… Expand
  • figure 1
  • figure 2
  • figure 7
  • figure 8
  • figure 12
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… Expand
  • figure 1
  • figure 3
  • table 1.1
  • table 1.2
  • table 1.3
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
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… Expand
  • figure 2.7
Highly Cited
1991
Highly Cited
1991
Design flow management in the NELSIS CAD framework
In this paper a new approach for design flow management is presented. We describe how the inputloutput relations between took can… Expand
  • figure 2
  • figure 4
  • figure 3
  • figure 5
  • figure 6
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