1. Introduction
2. Basics
3. Boolean functions
4. Calssical Representions
5. Requirements on data structures in formal circuit verification
6. OBBD s -Ordered decision diagrams
7. Efficient Implementation Of OBDDs
8. Influence Of the variable order on the complexity of OBDDs
9. Optimizing the variable order
10. Analysis of sequential systems
11. Symbolic model checking
12. Varaiants and extensions OF OBDDs
13. Transformation techniques for optimization