Notation: (mc) = "middle center" of page, (TR) = "Top Right", etc. Also [Kientz] means that Steve Kientz was the source of the error. Also !a!b! means replace a by b. (2X) means "2 times". Overbar or ' means complement. Underscore "_" denotes subscript, carat "^" superscript.

- p3 (MC) [Vasiljev]"mehtodologies"
- p5 (MR) [Vasiljev]"characterizes" should be "characterize"
- p17 (MC) too->tool
- p17 (BC) [Griebel] d=x_i+y/+i/_i/
- p18 (BR) [Reiner] ...critical path xi-b-d-h-f-j-ci.
- p19 (BR) [Reiner] Label "h" missing from lower NAND gate
- p20 (ML)[carroll@tjc.com] "To get to the second line of the equation, we used the fact that ________________ _F _ F F _ _F (Ci-1e + ci-1e ) = (Ci-1e + ci-1e ) . . ." (corrected Also delete "Typically a single test", which ends the first complete paragraph without completing the sentence.
- P29 (MR) [Kientz] Dangling colon(
- p29 [Kientz] involves contains
- p30 (TR) In table, k=1, node 10 should have "0/0" not "0/3"
- p30 dureback_trace3x, RequiredTime_{v*}, ...is be, slack_{a,v}
- p31 (Line 3) slack_a=, (Bot)\pi
- p32 [Rhee] Slack_{3}=1, not 5
- p37 V_D^D should be V_{DD} 2X
- P38 (BR)the the
- p38 (MC)[Kientz] z=0 output 0
- p50 (TR) Add comma after "Widely Used HDLs"
- p50 (BL) Change "these" to "these inputs"
- p51 (TR) Add "/8" to mux output in Figure 2.3
- p51 (BC) Change "commercial an academic" to "commercial and academic"
- p54 (MR) Change "following piece of code" to "code of Figure 2.8"
- p54 (ML) Change "0x41" to "0x41 = 65"
- p54 (BL) Change "0x61" to "0x61 = 97"
- p54 (BL) Change "0x4C" to "0x4c = 74"
- p54 (BL) Change "0x55" to "0x55 = 85"
- p55 (top line) Change "SWITCH" to "LUNC?"
- p55 (bottom) Change "return(res)" to return(Lcmd,Ucmd,Ncmd,Ccmd)"
- p45 [Greene]Table assumed slack =N_v+1 instead of lambda* at startup :
- p57 (first line) add "as it is in SIS" after "formalized and automated"
- p64 (MC) /One of the script/One of the scripts/
- p64 (MC) /the -D option/the -r option/
- p68 (MC) Omit extraneous text in the ".names in5 in1 k1 o1" statement
- p80 [Kientz & Greene]Fig 3.2 missing
- p81 (ML)[Chatchai] Missing "}"
- p82 (MC)[Reiner] Missing blue column in equivalence relation figure.
- p84 (MC) "forall" already introduced on p83
- p86 (TR) floating i
- p87 [Kalinowski et al] ". In a Hasse..." Missing period, (2X)
- p92 (BC) Delete word "relatively"
- p93 (ML) Every Boolean algebra with !four!eight! elements is isomorphic to, i.e., has the same Hasse\index{Hasse diagram} diagram as, !!one of! the Boolean algebra!!s! of Figure~\ref{fi:stone}.
- p93 (BL) them!:!.! ":" should be "them." Also add "In the sequel we shall omit the . and denote meet simply by catenation"
- p94 (MR) by Theorem 3.2.!1!2!
- p95 (ML) #5:last term abd should be dropped
- p95 (ML) #5: abde would be better than abc'd for the first term since abc'd is directly contained in the last term
- p96 Definition 3.3.1 -- drop item 1 into list
- p96 (B) missing ref to Table 3.2
- p97 (TL) functions functions
- p100(ML) |B (missing |)
- p112[Kalinowski et al] 15. ... and !east!least! upper...
- p113[Kalinowski et al] Caption of Figure 3.11 should refer to Problem 17 (not 18)
- p132(TR)[Vasiljev] "...there are much clever techniques" needs "more"
- p132(TR)[Vasiljev] "... compare to this to a faulty..." drop 1st "to"
- p132(TR)"V_D^D should be V_{DD} "
- p136(BC)[Vasiljev] "Specifically. a product term" "." should be ","
- p138(ML) "...contained is some" should be "...contained in some"
- p151(MR)[Vasiljev] The weight of the 5th, row 2nd heuristic should be 6.
- p154(BC)[Vasiljev] "...covers few row" should be "...rows"
- p155(BC)move comma outside matrix
- p156(TL)[Rhee]p_9=p_10=p_11=0 (not 1)
- p156(BL)[Rhee] "shall [see] that ..." The word "see" is missing.
- p156(BL)[Kientz] MIS={1,3,5,7}, not {1,2,5,7}
- p157(TR)[Rhee] M_{13,11}=0. also (TC) in "rows 1,4,13" 13 should be 12
- p226(MR)[Vasiljev] "(it correspond[s] to ..." Missing letter
- p226(TR)[Vasiljev] last cofactor should be f_{b'c'} (BR of Figure 6.7)
- p243(BR)[Vasiljev] "...techniques of !it!! are ..." Missing word
- p246(MR)[Vasiljev] "These consideration[s] ..." Missing letter
- p253(ML)[Vasiljev] "...enables [us] to..." Missing word
- p253(ML)[Vasiljev] "...from the the external... Extra word
- p258(MC)[Vasiljev] "...will [be] treated..." Missing word
- p259(MC)[Chatchai] "delta_2(1,0,1)=0 (not 1)"
- p261,262 (ML)[Vasiljev] The superscript zeroes on S should be subscript
- p268(ML)Add a line below Line 4: "if(lamda independent of x) break"
- p268(MR)Line 9: Replace "P^{k-1})" with "P^k_i)"
- p268(MR)Line 10: Replace "s)" with "P^k_i)"
- p270(MR)Delete "/not", add slash through adjoining equivalence symbol.
- p280(MC) "2^{|}V| should be 2^{|V|}
- p280(MC)[Vasiljev] Second italic preorder should be postorder
- p281(LC)[Vasiljev] Same as above,twice.
- p285(UR)[Vasiljev] Preorder again
- p293(MC)[Vasiljev] "... /an/a/ deterministic"
- p304(TC)/k_e/k_E/
- p304(TC)Line 4:/++/k--/
- p304(MC)/k=2=k_E/k=2 (=>k_E=3)/
- p304(ML)/second/third/
- p304(ML)/their/there/
- p304(LR)/the from of/the front of/
- p304(LL)/(k_E=2)/(k_E=3)/
- p304(BR)(Last line)/x_E=0/x_E=1/, and /(0,1,0)/(1,1,0)/
- p307(MC)/4+4+5=20/4+8+8=20/
- p307(MR)[Vasiljev] "...by /an/a/ path" (an->a)
- p307(MR)[Vasiljev] "...BDD to from the..." delete "to"
- p307(BR)[Vasiljev] "...by /an/a/ path" (an->a)
- p308(UR)[Vasiljev] "...with [so] called" -- missing word
- p309(BL)[Vasiljev] disambiguate equal sign and define sign with parentheses
- p313(LR)Delete null column in table
- p322(LL)/-order/order/g
- p323(LR)/-order/order/g
- p325(UR)[Vasiljev] ".../crucial steps// crucial steps"--delete repeated phrase
- p325(UR)[] ".../are relatively/is relatively/"
- p326(LC)/exactly to/to exactly/
- p332(LC)...contained /is/in/ some compatibles
- p333(MC)(Above Line 2:ENQUEUE(P,/p/q/)
- p333(MC)(Below Line 2:CLASS_SET(CM,/q/p/)
- p333(BC)(Below Line 7:/Done(s)=1/HASH_TABLE_INSERT(DONE,s)/
- p336(MR)/problem in two/problem into two/
- p337(MR)Add period after "F = matrix"
- p337(LL)Line break before "Example:"
- p338(UR)Line break before "Example:"
- p342(UL)Example 8.2.2 should be 8.2.1
- p356(LC)"ones /we present/presented/ in this .."
- p356(LR)[Vasiljev] "...are analyze[d] in detail" missing "d"
- p361(MC)".. answers //in Problem 4/ are correct"
- p369(UL)[Vasiljev] "...goal is [to] provide" missing word CJ: formula for fact-val
- p429(LC)/FACTOR(Q)/Q/ (delete FACTOR())
- p430(LC) Add R=cf+df (under Q=) Lee p444LR D->G
- p433(UC) R-paren after F moves to end of line
- p448(UL) Last line of Problem 20 should read (italics implied): "uses w as the chosen literal so that QUICK_DIVISOR(F)=u+v"
- p523[Tysso] Integer codes are in HEX: ESC=1b=1*16^1 + 11*16^0=27

2nd printing

- p55[Pozhidaev] U=N=C=/1/0 4X
- p81(LL)[Augustine] "Note that a ... can be both symmetric and antisymmetric only there are no edges which are not self loops."
- p78(UL)[Pozhidaev] "...union of A /of A//"
- p83(UR)[Pozhidaev] "{0,1,2,..." (missing close brace)
- p105(MC)[Pozhidaev] "the /the//"

Gary Hachtel / University of Colorado at Boulder / hachtel@Colorado.EDU