The AISiE silicon team is seeking a passionate, driven, and intellectually curious computer/electrical engineer to deliver premium-quality designs once considered impossible. We are responsible for delivering cutting-edge, custom IP and SoC designs that can perform complex and high-performance functions in an extremely efficient manner.
- Own formal verification of complex modules at the IP/Subsystem/SOC level using latest techniques to increase the RTL design quality.
- Collaborate with the architecture and design teams to define formal verification scope.
- Identify right strategy to prove RTL correctness by deploying advance formal techniques and create abstraction models for convergence.
- Create formal verification test plan track and verify respective test plan.
- Innovate new technologies, evaluate new tools, and corroborate results.
- Debug RTL to identify causes of failure scenarios.
- Work with vendors on resolving hard design and tool problems.
- Articulate formal verification coverage of the design to partners.
- Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion