How do you prioritize test automation efforts when you have a massive backlog and limited engineering resources at Synopsys?