ABSTRACT
This part includes eight chapters covering the basic theory of decision diagram techniques:
Data structures for representations of discrete and switching functions, including algebraic and graphical data structures,
Spectral techniques for analysis and synthesis of discrete systems, and The basics of stochastic (probabilistic) techniques and information theo-
retical measures for logic functions, and Event-driven analysis.
