2026-07 Arenas and Parks Manager (Full-Time)

Responsibilities include development of test environments and tests to enable functional verification of large, multi-million gate ASICs. responsibilities include verification plan development, code coverage analysis, formal equivalency checking, and behavioral modeling. experience with formal verification tools, hardware design and debug, constrained-random verification techniques, and System Verilog is a plus. Show more Show less