Simulation-based hardware verification with high-level decisions diagrams | lit.salon