How to become a CPU Formal Verification Engineer: skills, route & pay — BranchFactor