In this paper we consider a decision diagram representation called High-Level Decision Diagrams (HLDDs) that can be considered as a generalization of BDD.
Unlike the traditional HLDD, the temporally extended high-level decision diagrams are aimed at representing temporal logic properties.
This paper has demonstrated several advantages of the application of high-level decision diagrams for simulation-based verification.
Code coverage analysis using high-level decision diagrams. In Proc.