- (PAR 1) - Survey in first class
- ICE 1 (PAR2) - Mealy/Moore Conversion
- ICE 2 (PAR3) - FSM vs HL FSM
- ICE 3 (PAR4) - Queue Controller
- ICE 4 (PAR5) - Quine McCluskey, Petrick's Method,
K-map
- ICE 5 (PAR6) - Consensus (Optimize & Expand)
- (PAR7) - Apply Thm 4.6.1 to obtian
complete sum (Lecture 8, Slide 16-17)
- ICE 6 (PAR8) - Branch & Bound
- ICE 7 (PAR9) - Cubical form, intersect, union
- ICE 8 (PAR10) - Personality Matrix
- ICE 9 (PAR11) - Cofactors in cubical form
- ICE 10 (PAR12) - Blocking and Covering Matricies
- ICE 11 (PAR13) - Building BDDs, ITE
- ICE 12 (PAR14) - State Minimizaton - Implicant tables
- ICE 13 (PAR15) - Mobility and Scheduling
to reduce resource requirment
- ICE 14 (PAR16) - Compatibility and Conflict graphs