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 (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
This book gathers the latest experience of experts, research teams and leading organizations involved in computer-aided design of… 
2005
2005
Correlated interval representations of range uncertainty offer an attractive solution for approximating computations on… 
2004
2004
On behalf of the ICCAD 2004 Executive and Technical Program Committees, we invite you to attend the International Conference on… 
2004
2004
Substrate noise is a major obstacle for mixed-signal integration. In this paper we propose a fast and accurate high-level… 
Review
2003
Review
2003
Foreword. Preface. - Part I: Functional Verification. Formal Methods for Functional Verification R.E. Bryant, J.H. Kukula… 
2002
1999
1999
Modelling for component based development in UML/catalysis, A.C. Wills theory based design - from individual users and tasks to… 
1994
1994
\newcommand{\nlem}{{\sl NlEm}} % nlem, name of method \newcommand{\cz}{{\em CAzM}} % CAzM Efficient analog simulation of… 
1992
1992
The author presents a new tool for automatic ALU (arithmetic and logic unit) synthesis that combines the translation from an HDL… 
1990
1990
  • K. Roy
  • 1990
  • Corpus ID: 13302112
I presented my paper in session 9C (Synthesis for testability). It addressed the issue of synthesizing circuits which are robust…