Abstract :
The following topics are dealt with: real challenges and solutions for validating System-on-Chip, reshaping EDA for power, design for manufacturability and global routing, design analysis techniques, embedded hardware design case studies, emerging design and tool challenges in RF and wireless applications, power grid analysis and optimization, low-power embedded system design, cyclic and non-cyclic combinational synthesis, managing leakage power, timing-oriented placement, issues in partitioning and design space exploration for codesign, nanotechnology: design implications and CAD challenges, simulation coverage and generation for verification, tool support for architectural decisions in embedded systems, new topics in logic synthesis, coping with variability: the end of deterministic design, testbench, verification and debugging: practical considerations, delay and noise modeling in the nanometer regime, modeling issues in the design of embedded systems, how application/technology evolutions will shape classical EDA, SAT and BDD algorithms for verification tools, elements of functional and performance analysis, nonlinear model order reduction, novel techniques in high-level synthesis, mixed-signal design and simulation, novel self-test methods, technology mapping, buffering, and bus design, compilation techniques for reconfigurable devices, architectural power estimation and optimization, techniques for reconfigurable logic applications, test and diagnosis for complex designs, highlights of ISSCC: high-speed heterogenous design techniques, highlights of ISSCC and the design of state-of-the-art microprocessors, high frequency interconnect modeling, novel approaches in test cost reduction, retargetable tools for embedded software, ASIC design in nanometer era - dead or alive?, floorplanning and placement, advances in SAT, novel design methodologies and signal integrity, memory optimization for embedded systems, design automation for quantum circuits, energy-aware sys
