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.
"synopsis" may belong to another edition of this title.
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
"About this title" may belong to another edition of this title.
Seller: Crossroad Books, Eau Claire, WI, U.S.A.
Hardcover. Ex-Corporate Library copy; with typical markings. Library label on front board and on spine tail. Else binding clean. Pages clean, but for library markings. This is a large, heavy book; Priority and/or International may require shipping over and above standard costs. ; TEH22A; 11 x 8.5"; 743 pages; Ex-Library. Seller Inventory # 57036