Frontier LLMs plateau at 90.8% on VerilogEval, blocked by unsolvable functional errors

A new error taxonomy for RTL code generation categorizes failures into syntactic, semantic, solvable functional, and unsolvable functional types. Frontier models hit a hard ceiling at 90.8% pass rate on VerilogEval, with unsolvable functional errors immune to test-time compute scaling. Optimization that eliminates syntax errors concurrently worsens deeper functional failures.