Automated solutions for design verification