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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
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
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
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
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
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
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
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
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
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
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