Maksim Jenihhin

• Simulation-based hardware verification with high-level decisions diagrams
• Structural Decision Diagrams in Digital Test