Author Description

ICCAD brings together specialists in the technical areas within CAD to address the broad range of IC and system design problems. This volume contains the technical program of ICCAD-95, including 108 refereed technical papers, and four embedded tutorials: binary decision diagrams and beyond enabling technologies for formal verification; coping with RC(L) interconnect design headaches; power estimation techniques for integrated circuits; and CAD challenges in multimedia computing. No index. Annotation c. by Book News, Inc., Portland, Or.