Sr Principal Verification Engineer at Cadence Design Systems (Shanghai)