21st International Conference On Computer Design: Iccd 2003

Seventy-eight papers from the October 2003 conference present new developments in computer system design, logic and circuits, tools and methodology, verification and testing, and processor architecture. Many of the researchers address the challenges of energy efficiency, power management, hardware/software co-design, and reliability increasingly required for automotive controls, mobile communications, and personal entertainment systems. Topics include verification of time circuits with failure directed abstractions, a method for fast noise estimation based on net segmentation, static test compaction for multiple full-scan circuits, exploiting micro-architectural redundancy for defect tolerance, and structural detection of symmetries in Boolean functions. No subject index. Annotation (c) Book News, Inc., Portland, OR (booknews.com)