Responsibilities
- Develop formal properties and assertions for key hardware modules
- Support the creation of testbenches and automated workflows for formal verification
- Execute and troubleshoot formal analysis tools to detect edge-case design flaws
- Work with design and verification teams to incorporate formal methods into the development lifecycle
Work Arrangement
On-site — Austin, Texas
