Overview of decision diagrams

An overview on decision diagrams (DDs) is given. DDs are the state-of-the-art data structure in verification and logic synthesis. They are widely used, and are integrated into commercial tools. The overview is incomplete in the sense that not all DDs are considered, but the authors mention the most important DDs, with practical relevance. DDs with special emphasis on the aspect of function representation at bit-level and word-level are considered