Algebraic geometry could have applications to hardware verification of things like layout. Many papers I read used geometric techniques on layout or design, rule checks. After a long time, I'm thinking the algebraic techniques of verification are among the easiest to automate with solvers. It follows that algebraic geometry might be used to solve for properties of ASIC geometry.
I'm not sure how necessary that would be if at all. Just keeping an eye out for what math might handle but currently doesn't.