Formal Verification Engineer Responsible for formal verification of design blocks and IPs, developing verification test plans, proving design properties, and collaborating with design teams to improve micro-architecture. Engages in crafting solutions for modeling security attacks and implementing formal verification methodologi...