The following topics are dealt with: VLSI design; formal verification; scheduling for embedded processors; architecture and design; RF circuits; technology modeling and simulation; compilation techniques for embedded processors; signal integrity and timing analysis; digital circuits; SoC test and verification; dynamic and runtime reconfigurable systems; synthesis and system level design; test generation and high level test; low power electronics; system level modeling, estimation and exploration; power analysis and optimization; memory design; emerging technology; architecture enhancements for embedded processors; process variation and reliability; hardware architectures; analog test, delay test, and test power; application-specific custom architectures; physical design and modeling; and analog techniques