Overview of decision diagrams
Rolf Drechsler, Bernd Becker · IEE Proceedings - Computers and Digital Techniques · 1997
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.