Conclusions

Abstract

Recent developments in the field of WLDD-based verification techniques have been discussed in this book. After a structured introduction of various WLDD types, reduction and manipulation algorithms have been described. To get a better insight into the “world” of WLDDs, the relation between the different types has been shown by providing exponential trade-offs for WLDD size (i.e. functions have been presented that can only be represented efficiently by some DD variants). In summary, it turned out that only hybrid structures can guarantee efficient representation, but for this, the implementation becomes often more difficult.