Formal Verification Engineer Responsible for complete formal verification of design blocks and IPs, developing formal micro-architecture specifications, crafting formal verification test plans, proving design properties, and collaborating with design teams to improve micro-architecture. Involves developing re-usable formal mode...