Title: Simulation-based hardware verification with high-level decisions diagrams