Formal Verification Architect at AMD (Austin)