Synthesis-and-Optimization-of-Digital-Circuits

SynthesisandOptimizationofDigitalCircuitsGiovanniDeMicheliMcGraw-Hill,1994Erratainthe4thprint(asofJune15,2001)Page79:Figure2.21(b){Errata:id=3(fornode3){Corrige:id=4(fornode3)Page209:Line:14{Errata:va{Corrige:v4Page209:Line:-1{Errata:Algorithm5.5.1{Corrige:Algorithm5.4.3Page214:Line:-4{Errata:Algorithm5.4.3{Corrige:Algorithm5.4.4Page258:Line:14{Errata:parallel,{Corrige:serial,Page290:Lines:11-12{Errata:p1=1andp2=2.{Corrige:p1=2andp2=3.Page309:Lines:1-7{Errata:Thethirdsentenceintheproof.{Corrige:Hencethemaximallyreducedcubeis:e=supercube(\Q0)=(\(supercube(\Q0)))[(0\(supercube(\Q0))0)=\(supercube(\Q0))because(\Q0).Sincethesupercubeandthecofactoroperatorscommute[4],thene=\supercube(Q0).Page326:Line:3inExample7.5.8{Errata:(fOR;ADDg;fAND;JMPg){Corrige:(fOR;JMPg;fAND;ADDg)Page326:Line:2inrsttableofExample7.5.8{Errata:p2j(fOR;ADDg;fAND;JMPg)1{Corrige:p2j(fOR;JMPg;fAND;ADDg)Page327:Line:2{Errata:E=2664101100013775(1){Corrige:E=2664101101003775(2)Page327:Line:3intableofExample7.5.9{Errata:d3j(fOR;JMPg;fAND;ORg){Corrige:d3j(fOR;JMPg;fAND;ADDg)Page370:Line:-2{Errata:baxde{Corrige:axdePage381:Line:-2{Errata:y4andy3{Corrige:z1andz2Page426:Line:13{Errata:controlling{Corrige:non-controllingPage493:Line:-7{Errata:Sx;bp;bq((x;p;q;bp;bq))bp0bq0=Sx;bp;bq(bp0bq0(x0p0q))=p0q{Corrige:Sx;bp;bq((x;p;q;bp;bq)bp0bq0)=Sx;bp;bq(bp0bq0(x0p0q))=p0qPage548:Lines:15-16{Errata:ICCAD,ProceedingsoftheInternationalConferenceonComputerAidedDesign{Corrige:ICCD,ProceedingsoftheInternationalConferenceonComputerDesign2