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.
