CSEE E6861y: Readings


Date assigned

Readings assigned

Jan. 22
  • De Micheli, Preface and Ch. 1
  • Handout #5: Quine-McCluskey (QM) Examples
  • Handout #6: The Quine-McCluskey Method
  • Handout #7: Introduction to Espresso: Examples (cover exs. 1-3)

Jan. 29
  • Handout #7: Introduction to Espresso: Examples (cover ex. 4)
  • Handout #8: Hachtel/Somenzi, Multi-Output Functions (ch.4, pp. 160-165) 
  • Handout #9: Hachtel/Somenzi, Heuristic Minimization of Two-Level Circuits (ch.5, pp. 185-191 top)
  • Handout #10: Espresso Algorithm Handout #1 
  • Handout #12: Rudell's Thesis
    • read: abstract, ch. 1, ch. 2.1-2.4 (note: can skim defs. in 2.2 for multi-valued functions, read others carefully), 2.8 intro. + 2.8.1, 2.9-2.11
  •  Handout #13: Espresso Algorithm Handout #2

Feb. 5
  • Handout #14: cofactor and tautology sections/examples
  • Handout #15: pp. 191-194 (only read definitions 5.2.1-5.2.2, skim rest)
  • Handout #16
  • Handout #16a: De Micheli ("DM"): ch. 7.1; ch. 7.2 (only read pp. 270-276, skim pp. 277-283); ch. 7.4.5

Feb. 12
  • Handout #14:  read complementation and containment sections (3-5 and worked-out examples) 
  • Handout #15:  H/S handout, ch. 5.2 (pp. 194-200), 5.3 (we cover in a better order, and more systematically)
  • Handout #17

Feb. 19
  • Handout #14:  Complete Reading 
  • Handout #15:  (H/S) chs. 5.4, 5.6, 5.7
  • Handout #20, #21, #23
  • Handout #22 (optional):  last-/super-gasp, make-sparse 

Feb. 26
  • Handout #23a:   Multi-level logic optimization:  De Micheli, ch. 3.3.2; ch. 8.1-8.2.
  • Handout #23b:  De Micheli, ch. 8.3, pp. 360-361 (also p. 365 for HW#3 prob. #6)

Mar. 5
  • Handout #26
  • De Micheli, ch. 8.3, multi-level logic optimization: read p. 360-top p. 370 (incl. know KERNELS and R_KERNELS algorithms), skim top p. 370-top p. 374 (we cover somewhat differently in Handout #26)
  • De Micheli, ch. 8.3.3 Decomposition (top p. 378-top p. 380)

Mar. 12
  • De Micheli, ch. 2.3.4, pp. 49-51 Dynamic Programming
  • De Micheli, ch. 10.1-10.2, ch. 10.3 (only pp. 509-517, pp. 522-523 bottom) 

Mar. 27
  • Handout #32
  • Handout #33
  • De Micheli, technology mapping,
  • delay-oriented covering:  ch. 10.3.1, pp. 523 bottom - 526 top;
  • polarity assignment/covering:  ch. 10.3.3, pp. 530-top 532 (incl. fig.);
  • perspectives:  ch. 10.6 (p. 546)
    •
  • De Micheli, architectural synthesis,
    • example:  pp. 18-19;
    • basics of CDFG's:  pp. 119-123 bottom;
    • overview:  ch. 4.1-4.2, ch. 4.3 (through top of p. 153)
    •

    Apr. 2
    • Gajski,  ch. 8.4,
      • read pp. 336-top 342 (variable usage, operation usage),
      • skim pp. 342 top - 343 top (bus minimization)
    • Gajski,  ch. 8.13 Scheduling,
      • read pp. 375-380 (through end of RC scheduling),
      • skim pp. 380-bottom 384 (TC scheduling)  

    Apr. 9
    • Handout #36 (OBDD Handout)
    • Devadas/Ghosh/Keutzer, "Logic Synthesis", read ch. 6 (Boolean networks, OBDD's) 

    Apr. 16
    • De Micheli, ch. 8.4 Intro. to the Boolean Model, pp. 380-bottom p. 384

    Apr. 23
    • Handout #40: Devadas, read pp. 177-181
    • Handout #43: Leiserson/Saxe, read Abstract, Capsule Review, and section 1

    Apr. 30
    • Handout #42: De Micheli, ch. 9.3.1 Retiming (pp. 462-mid 467 only)
    • Handout #43: Leiserson/Saxe, read sections 2-4 (skip proofs, focus on concepts and theorems)                                    

    Last Updated: 4/30/09