Yeah, this made me laugh. The chip industry spends literally billions of dollars each year on simulation and formal verification tools.