- Meta (Lincoln, NE)
- …19. Experience in formal property verification of complex compute blocks such as DSP, CPU , GPU or HW accelerators 20. Experience with complex SoCs 21. Formal ... individuals with experience in Formal Verification to build IP and System On Chip ( SoC ) for data center applications. As a Formal Verification Engineer, you will be… more