ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)

The following topics are dealt with: interconnect-centric SoC design; energy optimization using dynamic voltage scaling for embedded systems; high-level synthesis; placement and floorplanning; SoC testing; dynamic verification; delay and signal modeling for timing analysis; software techniques for energy and performance optimization; optimization of global interconnects; numerical methods for analog optimization and analysis; CAD algorithms; design techniques for customized processors; verification engines; analog design and methodology; automatic abstraction for formal verification; nonlinear modelling of analog and optical systems; routing; nanometer scale simulation; constraint driven high-level synthesis; optimal interconnect synthesis and analysis; memory testing; statistical static timing; power-aware design; logic synthesis; graph algorithmic approaches to EDA problems; power grid and substrate analysis; interconnect modeling; test data reduction techniques.