Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)

The following topics are dealt with: Web and IP based design; embedded processor design; passive model order reduction; post-CMOS technology; formal verification; high level specification and design; timing abstraction; E-textiles; analog intellectual property; low-power system design; fabric-driven logic synthesis; memory management and address optimization in embedded systems; optics in EDA; nanometer design; DFT, BIST and diagnosis techniques; embedded system design; equivalence verification; embedded software automation; reconfigurable computing; test methods for non-classical faults; 10M gate ASIC design; power distribution; analog synthesis and design methodology; low-power physical design; unified tools for SoC embedded systems; multi-voltage, multi-threshold design; simulation techniques; design methodologies for network applications; analog modeling; routing and buffering; system on chip design; timing analysis and memory optimization; processors and accelerators; EDA drivers; cross-talk noise analysis and management; SoC test cost reduction; scheduling techniques for embedded systems; SoC design for yield improvement; Boolean satisfiability; inductance and substrate analysis; processors and communication networks; energy efficient mobile computing; floorplanning and placement; circuit effects in static timing; design space exploration for embedded systems; behavioral synthesis.