“In Q1 2026, logic verification grew 26%, with RTL simulation growing 16% and hardware-assisted verification (emulation) growing 32%.”