Decision diagrams form a cornerstone of many model checkers, but understanding the information they contain can be difficult.
In this talk we introduce our new visualization tool developed to tackle this problem. The purpose and capabilities of this tool are presented by exploring a simple use-case in circuit verification.